Recent writing
- The Church of Logic podcast, April 2025Joel David Hamkins
- 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
- 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
- MATH0046, Term 2 2025Samuel Coskey
- Every worldly cardinal admits a Gödel-Bernays structureJoel David Hamkins
- The computable surreal numbers, Notre Dame Logic Seminar, December 2024Joel David Hamkins
- On karmaNick Gill
- Determinateness of truth does not come for free from determinateness of objects, Singapore, November 2024Joel David Hamkins
- The covering reflection theorem, Madison Logic Seminar, October 2024Joel David Hamkins
- Walks on uncountable ordinals and non-structure theorems for higher Aronszajn linesAssaf Rinot
- The Lighthouse ProblemAsaf Karagila
- Infinite-time computable analogues of the universal algorithm, Generalized Computability Theory Workshop, Spain, August 2024Joel David Hamkins
- MATH0010, Term 1 2024Samuel Coskey
- MATH0037, Term 1 2024Samuel Coskey
- Erratum: On a conjecture of DegosNick Gill
Grab the feed for our blogs!