A new proof of the Barwise extension theorem, and the universal finite sequence, Barcelona Set Theory Seminar, 28 October 2020

This will be a talk for the Barcelona Set Theory Seminar, 28 October 2020 4 pm CET (3 pm UK). Contact Joan Bagaria bagaria@ub.edu for the access link.

Abstract. The Barwise extension theorem, asserting that every countable model of ZF set theory admits an end-extension to a model of ZFC+V=L, is both a technical culmination of the pioneering methods of Barwise in admissible set theory and infinitary logic and also one of those rare mathematical theorems that is saturated with philosophical significance. In this talk, I shall describe a new proof of the theorem that omits any need for infinitary logic and relies instead only on classical methods of descriptive set theory. This proof leads directly to the universal finite sequence, a Sigma_1 definable finite sequence, which can be extended arbitrarily as desired in suitable end-extensions of the universe. The result has strong consequences for the nature of set-theoretic potentialism.  This work is joint with Kameryn J. Williams.

The $\Sigma_1$-definable universal finite sequence

• J. D. Hamkins and K. J. Williams, “The $\Sigma_1$-definable universal finite sequence,” ArXiv e-prints, 2019. (Under review)
@ARTICLE{HamkinsWilliams:The-universal-finite-sequence,
author = {Joel David Hamkins and Kameryn J. Williams},
title = {The $\Sigma_1$-definable universal finite sequence},
journal = {ArXiv e-prints},
year = {2019},
volume = {},
number = {},
pages = {},
month = {},
note = {Under review},
abstract = {},
keywords = {under-review},
eprint = {1909.09100},
archivePrefix = {arXiv},
primaryClass = {math.LO},
source = {},
doi = {},
}

Categorical cardinals, CUNY Set Theory Seminar, June 2020

This will be an online talk for the CUNY Set Theory Seminar, Friday 26 June 2020, 2 pm EST = 7 pm UK time. Contact Victoria Gitman for Zoom access.

Abstract: Zermelo famously characterized the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$ in his 1930 quasi-categoricity result asserting that the models of $\text{ZFC}_2$ are precisely those isomorphic to a rank-initial segment $V_\kappa$ of the cumulative set-theoretic universe $V$ cut off at an inaccessible cardinal $\kappa$. I shall discuss the extent to which Zermelo’s quasi-categoricity analysis can rise fully to the level of categoricity, in light of the observation that many of the $V_\kappa$ universes are categorically characterized by their sentences or theories. For example, if $\kappa$ is the smallest inaccessible cardinal, then up to isomorphism $V_\kappa$ is the unique model of $\text{ZFC}_2$ plus the sentence “there are no inaccessible cardinals.” This cardinal $\kappa$ is therefore an instance of what we call a first-order sententially categorical cardinal. Similarly, many of the other inaccessible universes satisfy categorical extensions of $\text{ZFC}_2$ by a sentence or theory, either in first or second order. I shall thus introduce and investigate the categorical cardinals, a new kind of large cardinal. This is joint work with Robin Solberg (Oxford).

The theory of infinite games, including infinite chess, Talk Math With Your Friends, June 2020

This will be accessible online talk about infinite chess and other infinite games for the Talk Math With Your Friends seminar, June 18, 2020 4 pm EST (9 pm UK).  Zoom access information.  Please come talk math with me!

Abstract. I will give an introduction to the theory of infinite games, with examples drawn from infinite chess in order to illustrate various concepts, such as the transfinite game value of a position.

See more of my posts on infinite chess.

Bi-interpretation of weak set theories, Oxford Set Theory Seminar, May 2020

This will be a talk for the newly founded Oxford Set Theory Seminar, May 20, 2020. Contact Sam Adam-Day (me@samadamday.com) for the Zoom access codes.

Abstract: Set theory exhibits a truly robust mutual interpretability phenomenon: in any model of one set theory we can define models of diverse other set theories and vice versa. In any model of ZFC, we can define models of ZFC + GCH and also of ZFC + ¬CH and so on in hundreds of cases. And yet, it turns out, in no instance do these mutual interpretations rise to the level of bi-interpretation. Ali Enayat proved that distinct theories extending ZF are never bi-interpretable, and models of ZF are bi-interpretable only when they are isomorphic. So there is no nontrivial bi-interpretation phenomenon in set theory at the level of ZF or above.  Nevertheless, for natural weaker set theories, we prove, including ZFC- without power set and Zermelo set theory Z, there are nontrivial instances of bi-interpretation. Specifically, there are well-founded models of ZFC- that are bi-interpretable, but not isomorphic—even $\langle H_{\omega_1},\in\rangle$ and $\langle H_{\omega_2},\in\rangle$ can be bi-interpretable—and there are distinct bi-interpretable theories extending ZFC-. Similarly, using a construction of Mathias, we prove that every model of ZF is bi-interpretable with a model of Zermelo set theory in which the replacement axiom fails. This is joint work with Alfredo Roque Freire.

This is a version of the talk that I had planned to give at the 2020 Set Theory meeting Oberwolfach, before that meeting was canceled on account of the Covid-19 situation.

Slides

• A. R. Freire and J. D. Hamkins, “Bi-interpretation in weak set theories,” Mathematics arXiv, 2020. (Under review)
@ARTICLE{FreireHamkins:Bi-interpretation-in-weak-set-theories,
author = {Alfredo Roque Freire and Joel David Hamkins},
title = {Bi-interpretation in weak set theories},
journal = {Mathematics arXiv},
year = {2020},
volume = {},
number = {},
pages = {},
month = {},
note = {Under review},
abstract = {},
keywords = {under-review},
source = {},
doi = {},
url = {http://jdh.hamkins.org/bi-interpretation-in-weak-set-theories},
eprint = {2001.05262},
archivePrefix = {arXiv},
primaryClass = {math.LO},
}

Philosophical Trials interview: Joel David Hamkins on Infinity, Gödel’s Theorems and Set Theory

I was interviewed by Theodor Nenu as the first installment of his Philosophical Trials interview series with philosophers, mathematicians and physicists.

Theodor provided the following outline of the conversation:

• 00:00 Podcast Introduction
• 00:50 MathOverflow and books in progress
• 04:08 Mathphobia
• 05:58 What is mathematics and what sets it apart?
• 08:06 Is mathematics invented or discovered (more at 54:28)
• 09:24 How is it the case that Mathematics can be applied so successfully to the physical world?
• 12:37 Infinity in Mathematics
• 16:58 Cantor’s Theorem: the real numbers cannot be enumerated
• 24:22 Russell’s Paradox and the Cumulative Hierarchy of Sets
• 29:20 Hilbert’s Program and Godel’s Results
• 35:05 The First Incompleteness Theorem, formal and informal proofs and the connection between mathematical truths and mathematical proofs
• 40:50 Computer Assisted Proofs and mathematical insight
• 44:11 Do automated proofs kill the artistic side of Mathematics?
• 48:50 Infinite Time Turing Machines can settle Goldbach’s Conjecture or the Riemann Hypothesis
• 54:28 Nonstandard models of arithmetic: different conceptions of the natural numbers
• 1:00:02 The Continuum Hypothesis and related undecidable questions, the Set-Theoretic Multiverse and the quest for new axioms
• 1:10:31 Minds and computers: Sir Roger Penrose’s argument concerning consciousness

Bi-interpretation of weak set theories, Oberwolfach, April 2020

This will be a talk for the workshop in Set Theory at the Mathematisches Forschungsinstitute Oberwolfach, April 5-11, 2020.

Note: the conference has been cancelled due to concerns over the Coronavirus-19. (Meanwhile, I have given the talk for the Oxford Set Theory Seminar — see below.)

Abstract: Set theory exhibits a truly robust mutual interpretability phenomenon: in any model of one set theory we can define models of diverse other set theories and vice versa. In any model of ZFC, we can define models of ZFC + GCH and also of ZFC + ¬CH and so on in hundreds of cases. And yet, it turns out, in no instance do these mutual interpretations rise to the level of bi-interpretation. Ali Enayat proved that distinct theories extending ZF are never bi-interpretable, and models of ZF are bi-interpretable only when they are isomorphic. So there is no nontrivial bi-interpretation phenomenon in set theory at the level of ZF or above.  Nevertheless, for natural weaker set theories, we prove, including ZFC- without power set and Zermelo set theory Z, there are nontrivial instances of bi-interpretation. Specifically, there are well-founded models of ZFC- that are bi-interpretable, but not isomorphic—even $\langle H_{\omega_1},\in\rangle$ and $\langle H_{\omega_2},\in\rangle$ can be bi-interpretable—and there are distinct bi-interpretable theories extending ZFC-. Similarly, using a construction of Mathias, we prove that every model of ZF is bi-interpretable with a model of Zermelo set theory in which the replacement axiom fails. This is joint work with Alfredo Roque Freire.

Since the Oberwolfach meeting had been canceled, I gave the talk for the Oxford Set Theory Seminar on 20 May 2020.

• A. R. Freire and J. D. Hamkins, “Bi-interpretation in weak set theories,” Mathematics arXiv, 2020. (Under review)
@ARTICLE{FreireHamkins:Bi-interpretation-in-weak-set-theories,
author = {Alfredo Roque Freire and Joel David Hamkins},
title = {Bi-interpretation in weak set theories},
journal = {Mathematics arXiv},
year = {2020},
volume = {},
number = {},
pages = {},
month = {},
note = {Under review},
abstract = {},
keywords = {under-review},
source = {},
doi = {},
url = {http://jdh.hamkins.org/bi-interpretation-in-weak-set-theories},
eprint = {2001.05262},
archivePrefix = {arXiv},
primaryClass = {math.LO},
}

Bi-interpretation in set theory, Bristol, February 2020

This will be a talk for the Logic and Set Theory seminar at the University of Bristol, on 25 February, 2020.

Abstract: In contrast to the robust mutual interpretability phenomenon in set theory, Ali Enayat proved that bi-interpretation is absent: distinct theories extending ZF are never bi-interpretable and models of ZF are bi-interpretable only when they are isomorphic. Nevertheless, for natural weaker set theories, we prove, including Zermelo-Fraenkel set theory ZFC- without power set and Zermelo set theory Z, there are nontrivial instances of bi-interpretation. Specifically, there are well-founded models of ZFC- that are bi-interpretable, but not isomorphic—even $\langle H_{\omega_1},\in\rangle$ and $\langle H_{\omega_2},\in\rangle$ can be bi-interpretable—and there are distinct bi-interpretable theories extending ZFC-. Similarly, using a construction of Mathias, we prove that every model of ZF is bi-interpretable with a model of Zermelo set theory in which the replacement axiom fails. This is joint work with Alfredo Roque Freire.

Bi-interpretation in weak set theories

Philosophy meets maths, Oxford, January 2020

This will be a fun talk for the Philosophy Plus Science Taster Day, a fun day of events for prospective students in the joint philosophy degrees, whether Mathematics & Philosophy, Physics & Philosophy or Computer Science & Philosophy. The talk will be Friday 10th January in the Andrew Wiles building.

Abstract. In this talk, we shall pose and solve various fun puzzles in epistemic logic, which is to say, puzzles involving reasoning about knowledge, including one’s own knowledge or the knowledge of other people, including especially knowledge of knowledge or knowledge of the lack of knowledge. We’ll discuss several classic puzzles of common knowledge, such as the two-generals problem, Cheryl’s birthday problem, and the blue-eyed islanders, as well as several new puzzles. Please come and enjoy!

Modal model theory, STUK 4, Oxford, December 2019

This will be my talk for the Set Theory in the United Kingdom 4, a conference to be held in Oxford on 14 December 2019. I am organizing the conference with Sam Adam-Day.

Modal model theory

Abstract. I shall introduce the subject of modal model theory, a research effort bringing modal concepts and vocabulary into model theory. For any first-order theory T, we may naturally consider the models of T as a Kripke model under the submodel relation, and thereby naturally expand the language of T to include the modal operators. In the class of all graphs, for example, a statement is possible in a graph, if it is true in some larger graph, having that graph as an induced subgraph, and a statement is necessary when it is true in all such larger graphs. The modal expansion of the language is quite powerful: in graphs it can express k-colorability and even finiteness and countability. The main idea applies to any collection of models with an extension concept. The principal questions are: what are the modal validities exhibited by the class of models or by individual models? For example, a countable graph validates S5 for graph theoretic assertions with parameters, for example, just in case it is the countable random graph; and without parameters, just in case it is universal for all finite graphs. Similar results apply with digraphs, groups, fields and orders. This is joint work with Wojciech Wołoszyn.

Hand-written lecture notes

I know that you know that I know that you know…. Oxford, October 2019

This will be a fun start-of-term Philosophy Undergraduate Welcome Lecture for philosophy students at Oxford in the Mathematics & Philosophy, Physics & Philosophy, Computer Science & Philosophy, and Philosophy & Linguistics degrees. New students are especially encouraged, but everyone is welcome! The talk is open to all. The talk will be Wednesday 16th October, 5-6 pm in the Mathematical Institute, with wine and nibbles afterwards.

Abstract. In this talk, we shall pose and solve various fun puzzles in epistemic logic, which is to say, puzzles involving reasoning about knowledge, including one’s own knowledge or the knowledge of other people, including especially knowledge of knowledge or knowledge of the lack of knowledge. We’ll discuss several classic puzzles of common knowledge, such as the two-generals problem, Cheryl’s birthday problem, and the blue-eyed islanders, as well as several new puzzles. Please come and enjoy!

Philosophy Faculty announcement of talk

Alan Turing’s theory of computation, Oxford and Cambridge Club, June 2019

I shall speak for the Oxford and Cambridge Club, in a joint event hosted by Maths and Science Group and the Military History Group, an evening (6 June 2019) with dinner and talks on the theme of the Enigma and Code breaking.

Abstract: I shall describe Alan Turing’s transformative philosophical analysis of the nature of computation, including his argument that some mathematical questions must inevitably remain beyond our computational capacity to answer.

The talk will highlight ideas from Alan Turing’s phenomenal 1936 paper on computable numbers:

Computational self-reference and the universal algorithm, Queen Mary University of London, June 2019

This will be a talk for the Theory Seminar for the theory research group in Theoretical Computer Science at Queen Mary University of London. The talk will be held 4 June 2019 1:00 pm, ITL first floor.

Abstract. Curious, often paradoxical instances of self-reference inhabit deep parts of computability theory, from the intriguing Quine programs and Ouroboros programs to more profound features of the Gödel phenomenon. In this talk, I shall give an elementary account of the universal algorithm, showing how the capacity for self-reference in arithmetic gives rise to a Turing machine program $e$, which provably enumerates a finite set of numbers, but which can in principle enumerate any finite set of numbers, when it is run in a suitable model of arithmetic. In this sense, every function becomes computable, computed all by the same universal program, if only it is run in the right world. Furthermore, the universal algorithm can successively enumerate any desired extension of the sequence, when run in a suitable top-extension of the universe. An analogous result holds in set theory, where Woodin and I have provided a universal locally definable finite set, which can in principle be any finite set, in the right universe, and which can furthermore be successively extended to become any desired finite superset of that set in a suitable top-extension of that universe.

The modal logic of potentialism, ILLC Amsterdam, May 2019

This will be a talk at the Institute of Logic, Language and Computation (ILLC) at the University of Amsterdam for events May 11-12, 2019. See Joel David Hamkins in Amsterdam 2019.

Abstract: Potentialism can be seen as a fundamentally model-theoretic notion, in play for any class of mathematical structures with an extension concept, a notion of substructure by which one model extends to another. Every such model-theoretic context can be seen as a potentialist framework, a Kripke model whose modal validities one can investigate. In this talk, I’ll explain the tools we have for analyzing the potentialist validities of such a system, with examples drawn from the models of arithmetic and set theory, using the universal algorithm and the universal definition.

Is there just one mathematical universe? DRIFT, Amsterdam, May 2019

This will be a talk for the Wijsgerig Festival DRIFT 2019, held in Amsterdam May 11, 2019. The theme of the conference is: Ontology.

Abstract. What does it mean to make existence assertions in mathematics?
Is there a mathematical universe, perhaps an ideal mathematical reality, that the assertions are about? Is there possibly more than one such universe? Does every mathematical assertion ultimately have a definitive truth value? I shall lay out some of the back-and-forth in what is currently a vigorous debate taking place in the philosophy of set theory concerning pluralism in the set-theoretic foundations, concerning whether there is just one set-theoretic universe underlying our mathematical claims or whether there is a diversity of possible set-theoretic worlds.