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