# 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.

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.

• J. D. Hamkins and A. R. Freire, “Bi-interpretation in weak set theories,” Mathematics arXiv, 2020.
@ARTICLE{HamkinsFreire:Bi-interpretation-in-weak-set-theories,
author = {Joel David Hamkins and Alfredo Roque Freire},
title = {Bi-interpretation in weak set theories},
journal = {Mathematics arXiv},
year = {2020},
volume = {},
number = {},
pages = {},
month = {},
note = {},
abstract = {},
keywords = {},
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

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

# 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.

# Kelley-Morse set theory does not prove the class Fodor Principle, CUNY Set Theory Seminar, March, 2019

This will be talk for the CUNY Set Theory seminar, Friday, March 22, 2019, 10 am in room 6417 at the CUNY Graduate Center.
Abstract. I shall discuss recent joint work with Victoria Gitman and Asaf Karagila, in which we proved that Kelley-Morse set theory (which includes the global choice principle) does not prove the class Fodor principle, the assertion that every regressive class function $F:S\to\text{Ord}$ defined on a stationary class $S$ is constant on a stationary subclass. Indeed, it is relatively consistent with KM for any infinite $\lambda$ with $\omega\leq\lambda\leq\text{Ord}$ that there is a class function $F:\text{Ord}\to\lambda$ that is not constant on any stationary class. Strikingly, it is consistent with KM that there is a sequence of classes $A_n$, each containing a class club, but the intersection of all $A_n$ is empty. Consequently, it is relatively consistent with KM that the class club filter is not $\sigma$-closed.
I am given to understand that the talk will be streamed live online. I’ll post further details when I have them.

# Must there be numbers we cannot describe or define? Definability in mathematics and the Math Tea argument, Norwich, February 2019

I shall speak for the Pure Mathematics Research Seminar at the University of East Anglia in Norwich on Monday, 25 February, 2019.

Abstract. An old argument, heard perhaps at a good math tea, proceeds: “there must be some real numbers that we can neither describe nor define, since there are uncountably many real numbers, but only countably many definitions.” Does it withstand scrutiny? In this talk, I will discuss the phenomenon of pointwise definable structures in mathematics, structures in which every object has a property that only it exhibits. A mathematical structure is Leibnizian, in contrast, if any pair of distinct objects in it exhibit different properties. Is there a Leibnizian structure with no definable elements? Must indiscernible elements in a mathematical structure be automorphic images of one another? We shall discuss many elementary yet interesting examples, eventually working up to the proof that every countable model of set theory has a pointwise definable extension, in which every mathematical object is definable.

Lecture notes – Must every number be definable? Norwich Feb 2019

# Forcing as a computational process, Cambridge, Februrary 2019

This will be a talk for Set Theory in the United Kingdom (STUK 1), to be held in the other place, February 16, 2019.

Abstract. We investigate the senses in which set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for the atomic or elementary diagram of a model of set theory $\langle M,\in^M\rangle$, for example, we explain senses in which one may compute $M$-generic filters $G\subset P\in M$ and the corresponding forcing extensions $M[G]$. Meanwhile, no such computational process is functorial, for there must always be isomorphic alternative presentations of the same model of set theory $M$ that lead by the computational process to non-isomorphic forcing extensions $M[G]\not\cong M[G’]$. Indeed, there is no Borel function providing generic filters that is functorial in this sense.

This is joint work with Russell Miller and Kameryn Williams.

# The rearrangement and subseries numbers: how much convergence suffices for absolute convergence? Mathematics Colloquium, University of Münster, January 2019

This will be a talk for the Mathematics Colloquium at the University of Münster, January 10, 2019.

Abstract. The Riemann rearrangement theorem asserts that a series $\sum_n a_n$ is absolutely convergent if and only if every rearrangement $\sum_n a_{p(n)}$ of it is convergent, and furthermore, any conditionally convergent series can be rearranged so as to converge to any desired extended real value. How many rearrangements $p$ suffice to test for absolute convergence in this way? The rearrangement number, a new cardinal characteristic of the continuum, is the smallest size of a family of permutations, such that whenever the convergence and value of a convergent series is invariant by all these permutations, then it is absolutely convergent. The subseries number is defined similarly, as the smallest number of subseries whose convergence suffices to test a series for absolute convergence. The exact values of the rearrangement and subseries numbers turns out to be independent of the axioms of set theory. In this talk, I shall place the rearrangement and subseries numbers into a discussion of cardinal characteristics of the continuum, including an elementary introduction to the continuum hypothesis and an account of Freiling’s axiom of symmetry.

This talk is based in part on joint work with Andreas Blass, Joerg Brendle, Will Brian, myself, Michael Hardy and Paul Larson.

# An infinitary-logic-free proof of the Barwise end-extension theorem, with new applications, University of Münster, January 2019

This will be a talk for the Logic Oberseminar at the University of Münster, January 11, 2019.

Abstract. I shall present a new proof, with new applications, of the amazing extension theorem of Barwise (1971), which shows that every countable model of ZF has an end-extension to a model of ZFC + V=L. This theorem is both (i) a technical culmination of Barwise’s pioneering methods in admissible set theory and the admissible cover, but also (ii) one of those rare mathematical results saturated with significance for the philosophy of set theory. The new proof uses only classical methods of descriptive set theory, and makes no mention of infinitary logic. The results are directly connected with recent advances on the universal $\Sigma_1$-definable finite set, a set-theoretic version of Woodin’s universal algorithm.