Recent writing
- Asaf Karagila Some thoughts about teaching introductory courses in set theory
- Joel David Hamkins The set-theoretic universe is not necessarily a class-forcing extension of HOD
- Samuel Coskey Equivalence relations and classification problems, parts 1 and 2
- Samuel Coskey On the classification of automorphisms of trees
- Joel David Hamkins The hierarchy of second-order set theories between GBC and KM and beyond
- Joseph Van Name A lesson to be learned from the recent cryptocurrency dip
- Joseph Van Name Generalizations of Laver tables is posted (140 pages)
- Peter Krautzberger The problem with MathML as a web standard (part 3)
- Joel David Hamkins Arithmetic potentialism and the universal algorithm, CUNY Logic Workshop, September 2017
- Joseph Van Name Slides from talk at BLAST 2017 and a rant on giving talks about the classical Laver tables
Recent comments
- Comments for Asaf Karagila Comment on Some thoughts about teaching introductory courses in set theory by Harto Saarinen
- Comments for Asaf Karagila Comment on Some thoughts about teaching introductory courses in set theory by Dan Saattrup Nielsen
- Comments for Asaf Karagila Comment on Some thoughts about teaching introductory courses in set theory by Joseph Van Name
- Comments for Joel David Hamkins Comment on Every countable model of set theory embeds into its own constructible universe by Incomparable $omega_1$-like models of set theory | Joel David Hamkins
- Comments for Joel David Hamkins Comment on Local properties in set theory by Neil Barton
- Comments for Joel David Hamkins Comment on The hierarchy of second-order set theories between GBC and KM and beyond by Neil Barton
- Comments for Joel David Hamkins Comment on The hierarchy of second-order set theories between GBC and KM and beyond by Joel David Hamkins
- Comments for Assaf Rinot Comment on Jensen’s diamond principle and its relatives by saf
- Comments for Joel David Hamkins Comment on The hierarchy of second-order set theories between GBC and KM and beyond by Neil Barton
- Comments for Joel David Hamkins Comment on Introduction to proofs, CSI Math 505, Spring 2017 by Monica Selva