Recent writing
- Dave Sixsmith On checking a proof
- Joel David Hamkins Second-order transfinite recursion is equivalent to Kelley-Morse set theory over GBC
- Joseph Van Name Nebula-The cryptocurrency that will produce the reversible computer
- Asaf Karagila The transitive multiverse
- Peter Krautzberger The fundamental problem of math on the web
- Samuel Coskey The classification of countable models of set theory
- Victoria Gitman The exact strength of the class forcing theorem
- Joel David Hamkins The exact strength of the class forcing theorem
- Sandra Uhlenbrock Talk: Combinatorial Variants of Lebesgue’s Density Theorem
- Samuel Coskey On the classification of vertex-transitive structures
Recent comments
- Comments for Assaf Rinot Comment on Infinite Combinatorial Topology by saf
- Comments for Assaf Rinot Comment on Infinite Combinatorial Topology by Asaf Karagila
- Comments for Assaf Rinot Comment on Infinite Combinatorial Topology by saf
- Comments for Assaf Rinot Comment on Infinite Combinatorial Topology by Asaf Karagila
- Comments for Assaf Rinot Comment on Infinite Combinatorial Topology by saf
- Comments for Assaf Rinot Comment on Infinite Combinatorial Topology by Rodrigo Hernández-Gutiérrez
- Comments for Joel David Hamkins Comment on Book review of The Higher Infinite, Akihiro Kanamori by Jerome Tauber
- Comments for Joel David Hamkins Comment on Open determinacy for class games by Second-order transfinite recursion is equivalent to Kelley-Morse set theory over GBC | Joel David Hamkins
- Comments for Joel David Hamkins Comment on Transfinite recursion as a fundamental principle in set theory by Second-order transfinite recursion is equivalent to Kelley-Morse set theory over GBC | Joel David Hamkins
- Comments for Joel David Hamkins Comment on Games with the computable-play paradox by Warren D Smith