1994–2026
818 posts
2026 45
October 2026
- Slides – The Contingent HOD Dichotomy – CUNY 2026
- Share on X (Opens in new window) X
- The pattern of consistency strength for membership in a computably enumerable set
- Print (Opens in new window) Print
- Slides – Epistemic Logic Puzzles for Mathematicians – Hamkins – CUNY GC Oct 2026
- Epistemic Logic Puzzles for Mathematicians, NYC Math Education and Communication Seminar, October 2026
- Print (Opens in new window) Print
- Philosophy and Logic of Games, Notre Dame, Fall 2026
- Print (Opens in new window) Print
- Infinite Games Workshop
September 2026
- On the fundamental theorem of finite games, CUNY Student Logic Seminar, October 2026
- Print (Opens in new window) Print
- Slides – CH could have been fundamental – Hamkins – Notre Dame 2026
- How the continuum hypothesis could have been a fundamental axiom, one necessary for mathematics, Notre Dame, Mathematical Philosophy Seminar, Sep 2026
- Print (Opens in new window) Print
- Slides – The Contingent HOD Dichotomy – Notre Dame 2026
August 2026
- The contingent HOD dichotomy, Notre Dame Logic Seminar, September 2026
- Print (Opens in new window) Print
- The Contingent HOD Dichotomy, CUNY Logic Workshop, October 2026
- Print (Opens in new window) Print
- Alternative Fields Medal, awarded August 2026
- Print (Opens in new window) Print
July 2026
- On the contingent contingency of V = HOD and independence over the maximality principles, Fudan University, Shanghai, July 2026
- Print (Opens in new window) Print
June 2026
- Set-theoretic mereology as a foundation of mathematics – China 2026
- Set-theoretic mereology as a foundation of mathematics? Shandong University, Workshop on Mereology, China, June 2026
- Print (Opens in new window) Print
- The Modal Logic of Forcing and Set-theoretic Potentialism, Peking University lectures, June/July 2026
- Print (Opens in new window) Print
April 2026
- Slides – Ultrafinitism – Ohio 2026 – Hamkins
- A potentialist perspective on ultrafinitism, Ohio University
- Print (Opens in new window) Print
- Slides – Truth and paradox in the theory of finite and infinite games – Owens Lecture – Hamkins – 2026
- Share on X (Opens in new window) X
- The spectrum of consistency strengths for membership in a computably enumerable set, Notre Dame Logic Seminar, April 2026
- Print (Opens in new window) Print
March 2026
- The Book of Infinity, MIT Press, 2026
- Print (Opens in new window) Print
- Slides – Elementary theory of surreal arithmetic – Hamkins – CUNY March 2026
February 2026
2025 34
November 2025
October 2025
September 2025
- September 10, 2025
- Slides – Elementary theory of surreal arithmetic – Hamkins – Kobe Japan 2025
- a talk
August 2025
July 2025
- How the continuum hypothesis could have been a fundamental axiom
- Lectures on the Philosophy of Mathematics
- Share on X (Opens in new window) X
- Share on X (Opens in new window) X
- July 16, 2025
- July 14, 2025
- July 9, 2025
- July 9, 2025
June 2025
- Slides – Potentialist conceptions of infinity – Hamkins – Peking University June 2025
- June 23, 2025
- June 11, 2025
May 2025
- Lecture notes – Consistency strength – Oxford – May 2025
- Slides – Hamkins – On Skolem’s paradox – Leeds 2025
- May 12, 2025
April 2025
March 2025
January 2025
2024 32
December 2024
November 2024
October 2024
August 2024
July 2024
- July 22, 2024
- July 15, 2024
- Share on X (Opens in new window) X
- Did Turing prove the undecidability of the halting problem?
June 2024
- Slides-ForcingFest-Oslo-Hamkins-June-2024
- Slides-CH-could-have-been-fundamental-Hamkins-Oslo-June-2024
- June 7, 2024
May 2024
- May 29, 2024
- May 27, 2024
- May 25, 2024
- How the continuum hypothesis could have been a fundamental axiom, Oslo
- Share on X (Opens in new window) X
- Share on X (Opens in new window) X
March 2024
February 2024
- February 12, 2024
- Share on X (Opens in new window) X
- February 10, 2024
- Covering-reflection-ND-Logic-Seminar
January 2024
2023 37
December 2023
November 2023
- November 23, 2023
- Wordle-and-Absurdle-numbers-CUNY-Logic-Workshop-notes-2023
- November 7, 2023
- November 3, 2023
- Download
October 2023
September 2023
August 2023
June 2023
May 2023
- Share on X (Opens in new window) X
- May 15, 2023
- May 14, 2023
- May 14, 2023
- May 11, 2023
- May 11, 2023
- Share on X (Opens in new window) X
- May 4, 2023
- May 2, 2023
- Slides-Forcing-as-a-computational-process-MCS-Chicago-2023
April 2023
- Slides-Varieties-of-potentialism-Hamkins-Oslo-April-2023
- April 13, 2023
- April 5, 2023
- April 5, 2023
- Slides-Leibnizian-end-extensions-Madison-2023
March 2023
- Infinite games – Barcelona CosmoCaixa 2023
- Slides-Pointwise-Definability-Barcelona-2023
- March 14, 2023
January 2023
2022 46
December 2022
November 2022
October 2022
- October 18, 2022
- October 11, 2022
- Share on X (Opens in new window) X
- October 4, 2022
- Fregean abstraction in set theory, a deflationary account
- Slides-Hamkins-Fregean-abstraction-deflationary-account-Sep-2022
September 2022
- September 28, 2022
- Slides-Pointwise-Definability-Pavia-2022
- September 27, 2022
- September 23, 2022
- Slides-Potentialism-Master-Class-Hamkins-Sep-2022
- September 19, 2022
- AILA-Caserta-2022-Slides-Hamkins-Nonlinearity-and-illfoundedness-in-the-hierarchy-of-consistency-strength-and-the-question-of-naturality
- Slides-Hamkins-Pointwise-definable-end-extensions-SOPhiA-2022
- Share on X (Opens in new window) X
August 2022
July 2022
June 2022
- June 26, 2022
- June 25, 2022
- Slides – The ontology of mathematics – Hamkins – Japan Association Phil Science – June 2022
- June 19, 2022
May 2022
April 2022
March 2022
February 2022
January 2022
2021 51
December 2021
November 2021
- Infinite-draughts-Oslo-2021
- November 6, 2021
- November 4, 2021
- November 4, 2021
- November 4, 2021
- November 1, 2021
October 2021
September 2021
- September 23, 2021
- September 22, 2021
- Dissertation
- September 7, 2021
- my book review is here
- September 2, 2021
August 2021
- August 28, 2021
- Share on X (Opens in new window) X
- Computable-quotients-Hamkins-Fudan-Shanghai-2021
- August 20, 2021
- August 14, 2021
- August 13, 2021
- August 8, 2021
July 2021
June 2021
- June 26, 2021
- Categorical-set-theories-Slides-Munich-June-2021
- June 23, 2021
- Print (Opens in new window) Print
- Share on LinkedIn (Opens in new window) LinkedIn
May 2021
April 2021
March 2021
- March 25, 2021
- Share on WhatsApp (Opens in new window) WhatsApp
- Share on X (Opens in new window) X
- March 18, 2021
- Forcing-as-a-computational-process-Kobe-2021 Slides
- Share on Reddit (Opens in new window) Reddit
February 2021
January 2021
2020 39
December 2020
November 2020
- CACML 2020 Hamkins Set theoretic and arithmetic potentialism the state of current developments.pdf
- Topological models of arithmetic
- November 5, 2020
October 2020
- October 31, 2020
- October 29, 2020
- Barwise-extension-and-the-universal-finite-sequence-Barcelona-Oct-2020
- A new proof of the Barwise extension theorem, and the universal finite sequence, Barcelona Set Theory Seminar, 28 October 2020
- Share on Facebook (Opens in new window) Facebook
- October 7, 2020
September 2020
- Slides Modal-model-theory-Oslo-Potentialism-Workshop-Sep-2020
- September 22, 2020
- September 16, 2020
- September 11, 2020
- Local properties in set theory
August 2020
July 2020
June 2020
- Categorical-cardinals-Slides-CUNY-Set-Theory-Seminar-June-2020
- Infinite-Chess-TMWYF-2020 Slides.pdf
- June 17, 2020
- Philosophy of Mathematics, graduate lecture seminar, Oxford, Trinity term 2020
May 2020
April 2020
February 2020
January 2020
2019 28
December 2019
September 2019
August 2019
July 2019
June 2019
- Turing’s theory of computation – Oxford Cambridge Club 2019.pdf
- Computational self-reference and the universal algorithm QMUL 2019.pdf
- June 2, 2019
- June 2, 2019
- June 2, 2019
May 2019
April 2019
March 2019
February 2019
- Lecture notes – Must every number be definable? Norwich Feb 2019
- February 19, 2019
- Share on X (Opens in new window) X
- Potentialism Oxford Jowett Society 2019.pdf
January 2019
2018 43
December 2018
November 2018
October 2018
September 2018
- September 29, 2018
- September 21, 2018
- September 21, 2018
- September 20, 2018
- September 10, 2018
- Set theoretic Mereology talk.pdf
August 2018
July 2018
June 2018
May 2018
April 2018
- Open and clopen determinacy for proper class games, VCU MAMLS April 2017
- April 22, 2018
- April 16, 2018
- April 8, 2018
- The exact strength of the class forcing theorem
- The universal algorithm
- Slides: Set-theoretic potentialism and universal finite set SLS 2018
March 2018
- March 27, 2018
- Upward countable closure in the generic multiverse of forcing to add a Cohen real
- March 19, 2018
- March 6, 2018
- March 6, 2018
- March 3, 2018
February 2018
January 2018
2017 63
December 2017
- December 31, 2017
- December 27, 2017
- December 26, 2017
- December 24, 2017
- http://jdh.hamkins.org/set-theoretic-potentialism-ws2018
- December 24, 2017
- December 20, 2017
- Cheryl’s rational gifts
- December 31 draft
- January 2 draft
- January 2 draft b
- January 2 draft c
- January 3 draft
- January 7 draft
- January 24 draft
- Ouroboros Bonn 2018 Conference Poster
- Self reference in the universal algorithm Bonn 2018 4.pdf
- Universal algorithm and universal finite set Prague 2018.pdf
- Potentialism Tutorial Winter School Hejnice 2018.pdf
November 2017
September 2017
- September 18, 2017
- September 9, 2017
- set-theoretic potentialism
- Share on X (Opens in new window) X
- Hierarchy of second order theories Hamkins Luminy 2017 2.pdf
August 2017
July 2017
June 2017
- June 22, 2017
- June 5, 2017
- The universal definition — it can define any mathematical object you like, in the right set-theoretic universe
May 2017
- The universal algorithm: a new simple proof of Woodin’s theorem
- May 12, 2017
- May 12, 2017
- May 11, 2017
- May 6, 2017
April 2017
- April 29, 2017
- The inclusion relations of the countable models of set theory are all isomorphic
- April 13, 2017
- April 10, 2017
- Share on X (Opens in new window) X
- Share on X (Opens in new window) X
March 2017
February 2017
- February 27, 2017
- The Implicitly constructible universe
- February 25, 2017
- February 11, 2017
- VCU MAMLS 2017.pdf
January 2017
2016 45
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
- June 28, 2016
- Share on X (Opens in new window) X
- Drunk Science: Infinity, special guest, June 23, 2016
- June 18, 2016
- The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme
- June 1, 2016
- Pluralism inspired mathematics.pdf
May 2016
April 2016
- April 30, 2016
- Share on X (Opens in new window) X
- April 26, 2016
- April 16, 2016
- April 11, 2016
- Same structure different truth CSLI 2016 Stanford.pdf
March 2016
- Every function can be computable!
- March 25, 2016
- Share on X (Opens in new window) X
- March 17, 2016
- Set Theory Day at the CUNY Graduate Center, March 11, 2016
- March 4, 2016
- Open determinacy for class games
- The resurrection axioms and uplifting cardinals
February 2016
January 2016
2015 66
December 2015
November 2015
- $\of$ is decidable
- Survey of Logic for Philosophers
- Share on X (Opens in new window) X
- Share on X (Opens in new window) X
- Upward closure and amalgamation in the generic multiverse of a countable model of set theory
- Colloquium talk at Vassar
October 2015
September 2015
- Open determinacy for games on the ordinals is stronger than ZFC, CUNY Logic Workshop, October 2015
- September 23, 2015
- September 22, 2015
- Different models of set theory with same $\of$
August 2015
- Upward closure in the generic multiverse of a countable model of set theory, RIMS 2015, Kyoto, Japan
- August 15, 2015
- August 1, 2015
- CFTM 2015 extended abstract
- Universality and embeddability amongst the models of set theory CTFM Japan 2015.pdf
July 2015
- July 3, 2015
- Determinacy for proper-class clopen games is equivalent to transfinite recursion along proper-class well-founded relations
June 2015
- Open determinacy for proper class games implies Con(ZFC) and much more
- June 15, 2015
- Erin Carmody
- Hypnagogic Digraph JMM Seattle 2016.pdf
- Erin Carmody Dissertation.pdf
May 2015
- May 27, 2015
- May 22, 2015
- May 15, 2015
- May 12, 2015
- Absolute truth about non absolute truth JAF CUNY 2015.pdf
- Weakly compact embedding property CMU 2015.pdf
April 2015
- I know you know I know you know.pdf
- Share on X (Opens in new window) X
- April 25, 2015
- Share on X (Opens in new window) X
- April 21, 2015
- April 21, 2015
- April 18, 2015
- April 16, 2015
- April 6, 2015
March 2015
February 2015
January 2015
- January 29, 2015
- January 28, 2015
- Ehrenfeucht’s lemma in set theory
- Incomparable $\omega_1$-like models of set theory
- Lecture 1 notes by a student
- Lecture 2 notes by a student
- Lecture 4 student notes
- Lecture 5 student notes
- Lecture 6 student notes
- Lecture 7 students notes
- Lecture 8 student notes
- Lecture 9 student notes
- Lecture 10 student notes
- Lecture 11 students notes
- Lecture 12 student notes
- Lecture 13 student notes
- Lecture 14 student notes
- Complete sets of connectives for generalized Łukasiewicz logics
2014 51
December 2014
November 2014
- November 28, 2014
- Infinite Chess VCU 2014.pdf
- Upward closure in the toy multiverse of all countable models of set theory
- Satisfaction is not absolute
October 2014
- Share on X (Opens in new window) X
- Transfinite recursion as a fundamental principle
- Share on X (Opens in new window) X
September 2014
August 2014
- August 25, 2014
- August 25, 2014
- August 22, 2014
- Pluralist perspective on VL Notre Dame October 20141.pdf
July 2014
June 2014
May 2014
- May 31, 2014
- May 31, 2014
- math for seven-year-olds
- May 19, 2014
- May 19, 2014
- May 15, 2014
- KM implies Con(ZFC) and much more
- a kit of my original uncolored pages
April 2014
- April 1, 2014
- April 1, 2014
- April 1, 2014
- Higher infinity and Foundations of Mathematics AAAS PD General Public Lecture 2014.pdf
- Slides Hamkins BEST 2014 Riverside.pdf
- Tutorial lecture notes
March 2014
January 2014
2013 61
November 2013
- Share on X (Opens in new window) X
- Share on Facebook (Opens in new window) Facebook
- Rubik's cube competition, CSI, November 14, 2013
- November 4, 2013
- November 3, 2013
- Share on X (Opens in new window) X
October 2013
- Share on X (Opens in new window) X
- October 24, 2013
- October 21, 2013
- October 15, 2013
- Swarthmore Hamkins 10 08 2013 web.pdf
- October 6, 2013
September 2013
- The role of the axiom of foundation in the Kunen inconsistency
- September 4, 2013
- The multiverse perspective in set theory (Slides)
August 2013
July 2013
June 2013
- June 30, 2013
- Share on X (Opens in new window) X
- June 26, 2013
- Share on X (Opens in new window) X
- June 25, 2013
- June 17, 2013
- Shanghai 2013 Multiverse talk.pdf
- June 10, 2013
- Share on Facebook (Opens in new window) Facebook
- Share on X (Opens in new window) X
- announcement flyers
May 2013
- May 25, 2013
- Algebraicity and implicit definability in set theory
- May 23, 2013
- Math for six-year-olds: Win at Nim!
- May 18, 2013
- May 18, 2013
- Playful Paradox with large numbers, infinity and logic
- May 18, 2013
- Share on X (Opens in new window) X
- my father, who was a mechanical engineer
- My younger brother Jon’s eulogy
- Share on X (Opens in new window) X
April 2013
March 2013
February 2013
- February 20, 2013
- The multiverse perspective on the axiom of constructibility
- February 7, 2013
- February 4, 2013
- Konstantinos Tsaprounis
January 2013
2012 55
December 2012
November 2012
October 2012
September 2012
- Share on X (Opens in new window) X
- September 21, 2012
- Share on Facebook (Opens in new window) Facebook
- Share on X (Opens in new window) X
- The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $\theta$-supercompact, New York, September 14, 2012
- September 12, 2012
- Share on X (Opens in new window) X
- September 4, 2012
- A question for the math oracle (pdf)
August 2012
- August 28, 2012
- August 27, 2012
- August 13, 2012
- August 13, 2012
- August 13, 2012
- August 13, 2012
- August 12, 2012
- Jonas Reitz
- August 11, 2012
- August 10, 2012
- August 8, 2012
July 2012
June 2012
May 2012
April 2012
- April 30, 2012
- April 28, 2012
- list of my articles on automorphism towers
- Bristol 2012 Pointwise Definability Talk.pdf
- AutoTowers Bristol 2012.pdf
- April 12, 2012
- Infinitary Computability
- April 6, 2012
- April 6, 2012
- April 6, 2012
March 2012
- March 23, 2012
- March 22, 2012
- Is the dream solution of the continuum hypothesis possible to achieve?
- March 10, 2012
- March 6, 2012
- Comp equiv Talk 30 min.pdf
- Comp equiv Talk.pdf
- Infinite Chess talk.pdf
February 2012
January 2012
2011 89
November 2011
- November 12, 2011
- Share on X (Opens in new window) X
- November 3, 2011
- Share on X (Opens in new window) X
- Tutorial lecture notes
October 2011
- Vienna 2011 Multiverse talk 1.pdf
- related talk Florida MAMLS 2012
- Share on X (Opens in new window) X
- October 13, 2011
- October 6, 2011
September 2011
- September 28, 2011
- September 27, 2011
- September 27, 2011
- Article
- Set-theoretic geology
- September 25, 2011
- Generalizations of the Kunen inconsistency
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- earlier work
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- Extensions with he approximation and cover properties have no new large cardinals
- September 25, 2011
- September 25, 2011
- A simple maximality principle
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- Superdestructibility: A Dual to Laver’s Indestructibility
- Small forcing makes any cardinal superdestructible
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 25, 2011
- September 22, 2011
- The multiverse perspective on determinateness in set theory
- Lifting and extending measures; fragile measurability
July 2011
- my talk at the Asian Initiative for Infinity: Workshop on Infinity and Truth
- July 22, 2011
- Visiting Professor
- July 1, 2011
- London 2011 tutorial on set-theoretic geology
June 2011
April 2011
March 2011
January 2011
2010 1
June 2010
2009 2
June 2009
March 2009
2008 2
June 2008
2007 2
June 2007
April 2007
2006 2
September 2006
April 2006
2005 2
September 2005
2004 2
September 2004
May 2004
2003 3
September 2003
August 2003
2002 2
October 2002
September 2002
2001 2
September 2001
2000 2
October 2000
September 2000
1999 4
October 1999
July 1999
June 1999
1998 2
September 1998
January 1998
1997 2
October 1997
September 1997
1996 2
September 1996
1994 1
October 1994