Posts
- A game-theoretic proof of Fraïssé's Theorem
- A partition theorem for finite trees
- Arithmetical consequences of the set-theoretic multiverse
- Back to Cantor?
- Classically valid theorems of intuitionistic analysis
- Complete subspaces of a metric space
- Counting Birds...
- Diaconescu's Theorem
- Envelope forcing
- Generalized separation principles
- HoTT Math 1: Elementary group theory
- HoTT Math 2: More on equational logic
- HoTT Math 3: Unit group of a ring
- HoTT Math 4: Local rings and fields
- Homotopy Type Theory
- On a theorem of Mycielski and Taylor
- On computing complex square roots
- On the structure of universes in HoTT
- Paris-Harrington and Typing
- Santa Exists!
- Scheming schemes...
- Some Cardinal Arithmetic
- Stationary strategies in Choquet games
- Subposets of small dimension
- Super HoTT
- Towsner's stable forcing
- Uncountable perfect graphs
- What is combinatorial set theory?