Recent writing
- I trained neural nets on large cardinal axiomsAsaf Karagila
- Skolem’s paradox and the countable transitive submodel theorem, Leeds Set Theory Seminar, May 2025Joel David Hamkins
- Categoricty theorems for second-order set theory without powersetsVictoria Gitman
- Reflection principles in set theory without powersetsVictoria Gitman
- The Church of Logic podcast, April 2025Joel David Hamkins
- Filter extension games and generic large cardinalsVictoria Gitman
- Filter extension games on mini supercompactness filtersVictoria Gitman
- A potentialist conception of ultrafinitism, Columbia University, April 2025Joel David Hamkins
- The hierarchy of consistency strengths for membership in a computably enumerable set, Oxford Logic Seminar, May 2025Joel David Hamkins
- Cardinals of the $P_\kappa(\lambda)$-filter gamesVictoria Gitman
- Was Ulam right? III: Indecomposable idealsAssaf Rinot
- A new model for all C-sequences are trivialAssaf Rinot
- Introduction to modal model theory, Panglobal Algebra and Logic Seminar, Boulder, March 2025Joel David Hamkins
- 2025 William Reinhardt Memorial Lecture, BoulderJoel David Hamkins
- On Skolem’s paradox and the transitive submodel theorem, Rust Belt Workshop in the Philosophy of Logic, Language, and Mathematics, February 2025Joel David Hamkins
- Set theory and classification problemsSamuel Coskey
- The covering reflection principle – Oberwolfach January 2025Joel David Hamkins
- MFO workshop in Set Theory, January 2025Assaf Rinot
- Finite classical groupsNick Gill
- The Human Podcast: 10 questions in 10 minutesJoel David Hamkins
- Parameter-free schemes in second-order arithmeticVictoria Gitman
- MATH0046, Term 2 2025Samuel Coskey
- Every worldly cardinal admits a Gödel-Bernays structureJoel David Hamkins
- Upward Löwenheim-Skolem numbers for abstract logicsVictoria Gitman
- The computable surreal numbers, Notre Dame Logic Seminar, December 2024Joel David Hamkins
Grab the feed for our blogs!