# 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