# Recent writing

**Nick Gill**Crecimiento en grupos y otras estructuras**Assaf Rinot**More notions of forcing add a Souslin tree**Asaf Karagila**In praise of some history**Asaf Karagila**Constructive proof that large cardinals are consistent**Joseph Van Name**Why complete regularity rather than Hausdorff is the correct cutoff point between lower and higher separation axioms**Joel David Hamkins**Pluralism-inspired mathematics, including a recent breakthrough in set-theoretic geology, Set-theoretic Pluralism Symposium, Aberdeen, July 2016**Asaf Karagila**Some thoughts about “automated theorem searching”**Ioanna M. Dimitriou Henríquez**choiceless grapher is now Linux installable**Asaf Karagila**Iterating Symmetric Extensions**Asaf Karagila**Syntactic T-Rex: Irregularized

# Recent comments

**Comments for Joel David Hamkins**Comment on The global choice principle in Gödel-Bernays set theory by Andrew Song**Comments for Joel David Hamkins**Comment on The global choice principle in Gödel-Bernays set theory by Andrew Song**Comments for Joel David Hamkins**Comment on The global choice principle in Gödel-Bernays set theory by Andrew Song**Comments for Joel David Hamkins**Comment on The global choice principle in Gödel-Bernays set theory by Joel David Hamkins**Comments for Joel David Hamkins**Comment on The global choice principle in Gödel-Bernays set theory by Andrew Song**Comments for Assaf Rinot**Comment on More notions of forcing add a Souslin tree by Prikry forcing may add a Souslin tree | Assaf Rinot**Comments for Joel David Hamkins**Comment on Pointwise definable models of set theory by Building models of ZFC with exactly 2 GBC-realizations | Recursively saturated and rather classless**Comments for Joel David Hamkins**Comment on Open determinacy for proper class games implies Con(ZFC) and much more by Open determinacy for class games | Joel David Hamkins**Comments for Joseph Van Name**Comment on Why complete regularity rather than Hausdorff is the correct cutoff point between lower and higher separation axioms by Joseph Van Name**Comments for Joseph Van Name**Comment on Why complete regularity rather than Hausdorff is the correct cutoff point between lower and higher separation axioms by Jesse McKeown