Recent writing
- What is potentialist second-order logic? Konstanz Actualism and Potentialism Conference 2023Joel David Hamkins
- Infinite-Games WorkshopJoel David Hamkins
- What is best in science?Asaf Karagila
- Ladder systems and countably metacompact topological spacesAssaf Rinot
- Granularity walkers for textual descriptionsPeter Krautzberger
- The vanishing levels of a treeAssaf Rinot
- Philosophy of Mathematics and Truth, interview with Matthew Geleta on Paradigm PodcastJoel David Hamkins
- An exploration of infinite games—infinite Wordle and the Mastermind numbers, Harvard, October 2023Joel David Hamkins
- Upgrading democracyNick Gill
- Full Souslin trees at small cardinalsAssaf Rinot
- Westfjords Way Bikepacking RouteDana C. Ernst
- Conjugacy, classification, and complexitySamuel Coskey
- A counterexample related to a theorem of Komjáth and WeissAssaf Rinot
- Enumerating signed permutations by reversal distance (Talk)Dana C. Ernst
- I trained neural nets to do forcing and symmetric extensionsAsaf Karagila
- A deflationary account of Fregean abstraction in set theory, with Basic Law V as a ZFC theorem, Paris PhilMath Intersem 2023Joel David Hamkins
- Set theory with abundant urelements, STUK 10, Oxford, June 2023Joel David Hamkins
- Natural Instances of Illfoundedness and Nonlinearity in the Hierarchy of Consistency Strength, Oxford Phil Math Seminar, May 2023Joel David Hamkins
- A Shelah group in ZFCAssaf Rinot
- How to find pointwise definable and Leibnizian extensions of models of arithmetic and set theory, Oxford Logic Seminar, May 2023Joel David Hamkins
- Infinite games—strategies, logic, theory, and computation, Northeastern, June 2023Joel David Hamkins
- Gdańsk Logic Conference, May 2023Assaf Rinot
- Realizing Frege’s Basic Law V provably in ZFC, New York, May 2023Joel David Hamkins
- Set-theoretic forcing as a computational process, Midwest Computability Seminar, Chicago, May 2023Joel David Hamkins
- Introductory elliptic curvesSamuel Coskey
Grab the feed for our blogs!