Recent writing
- Borel reducibility and conjugacy equivalence relationsSamuel Coskey
- Diamond on Kurepa treesAssaf Rinot
- Gödel incompleteness, graduate course, Notre Dame, Fall 2024Joel David Hamkins
- Failing definite descriptions, Notre Dame Food for Thought Seminar, March 2024Joel David Hamkins
- Proxy principles in combinatorial set theoryAssaf Rinot
- 120 Years of Choice: Registration is openAsaf Karagila
- How the continuum hypothesis could have been a fundamental axiom, UC Irvine Logic & Philosoph of Science Colloquium, March 2024Joel David Hamkins
- What if your potentialism is implicitly actualist? Oxford conference, March 2024Joel David Hamkins
- The covering reflection principle, Notre Dame Logic Seminar, February 2024Joel David Hamkins
- Squares, ultrafilters and forcing axiomsAssaf Rinot
- Web components for (mathematical) writing, continuedPeter Krautzberger
- Parameter-free schemes in second-order arithmeticVictoria Gitman
- The Gödel incompleteness phenomenon, interview with Rahul SamJoel David Hamkins
- MATH0046, Term 2 2024Samuel Coskey
- A first look at MathJax v4Peter Krautzberger
- Cardinal correct extendible cardinalsVictoria Gitman
- 120 Years of Choice: First AnnouncementAsaf Karagila
- Pluralism in the foundations of mathematics, ASL invited address, joint APA/ASL meeting, New York, January 2024Joel David Hamkins
- New large cardinal chart of Ramsey-like cardinalsVictoria Gitman
- Upward Löwenheim-Skolem numbers for abstract logicsVictoria Gitman
- The computable model theory of forcing, Rutgers Logic Seminar, December 2023Joel David Hamkins
- May the successor of a singular cardinal be Jonsson?Assaf Rinot
- Between Ramsey and measurable cardinalsVictoria Gitman
- Perspectives on Set Theory, November 2023Assaf Rinot
- Web components for (mathematical) writing, a first problemPeter Krautzberger
Grab the feed for our blogs!