Andrew Tedder
@tedder.bsky.social
Philosopher. Logician. Canadian in Germany. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!
Haha, I wear your blame like a badge of honour!
September 1, 2025 at 7:36 PM
Haha, I wear your blame like a badge of honour!
Just saw a physical copy for the first time!
February 12, 2025 at 2:30 PM
Just saw a physical copy for the first time!
No, we were trying to figure out how to trap some bbegs in a descending sequence of demi-planes (portable holes in portable holes...)
February 9, 2025 at 11:01 PM
No, we were trying to figure out how to trap some bbegs in a descending sequence of demi-planes (portable holes in portable holes...)
Zorn's lemma, actually
February 9, 2025 at 8:06 PM
Zorn's lemma, actually
True - boolean algebras is just the context where I'm most familiar with them
January 11, 2025 at 3:23 PM
True - boolean algebras is just the context where I'm most familiar with them