Ode to Hippasus

I was so glad to be involved with this project of Hannah Hoffman. She had inquired on Twitter whether mathematicians could provide a proof of the irrationality of root two that rhymes. I set off immediately, of course, to answer the challenge. My wife Barbara Gail Montero and our daughter Hypatia and I spent a day thinking, writing, revising, rewriting, rethinking, rewriting, and eventually we had a set lyrics providing the proof, in rhyme and meter. We had wanted specifically to highlight not only the logic of the proof, but also to tell the fateful story of Hippasus, credited with the discovery.

Hannah proceeded to create the amazing musical version:

The diagonal of a square is incommensurable with its side
an astounding fact the Pythagoreans did hide

but Hippasus rebelled and spoke the truth
making his point with irrefutable proof

it’s absurd to suppose that the root of two
is rational, namely, p over q

square both sides and you will see
that twice q squared is the square of p

since p squared is even, then p is as well
now, if p as 2k you alternately spell

2q squared will to 4k squared equate
revealing, when halved, q’s even fate

thus, root two as fraction, p over q
must have numerator and denomerator with factors of two

to lowest terms, therefore, it can’t be reduced
root two is irrational, Hippasus deduced

as retribution for revealing this irrationality
Hippasus, it is said, was drowned in the sea

but his proof live on for the whole world to admire
a truth of elegance that will ever inspire.

Forcing as a computational process, Kobe Set Theory Workshop, March 2021

This was a talk for the Kobe Set Theory Workshop, held on the occasion of Sakaé Fuchino’s retirement, 9-11 March 2021.

Abstract. I shall discuss 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, one may in various senses 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.

Forcing as a computational process

• J. D. Hamkins, R. Miller, and K. J. Williams, “Forcing as a computational process,” Mathematics arXiv, 2020. (Under review)
@ARTICLE{HamkinsMillerWilliams:Forcing-as-a-computational-process,
author = {Joel David Hamkins and Russell Miller and Kameryn J. Williams},
title = {Forcing as a computational process},
journal = {Mathematics arXiv},
year = {2020},
volume = {},
number = {},
pages = {},
month = {},
note = {Under review},
abstract = {},
keywords = {under-review},
source = {},
doi = {},
url = {http://jdh.hamkins.org/forcing-as-a-computational-process},
eprint = {2007.00418},
archivePrefix = {arXiv},
primaryClass = {math.LO},
}

Definability and the Math Tea argument: must there be numbers we cannot describe or define? University of Warsaw, 22 January 2021

This will be a talk for a new mathematical logic seminar at the University of Warsaw in the Department of Hhilosophy, entitled Epistemic and Semantic Commitments of Foundational Theories, devoted to formal truth theories and implicit commitments of foundational theories as well as their conceptual surroundings.

My talk will be held 22 January 2021, 8 pm CET (7 pm UK), online via Zoom https://us02web.zoom.us/j/83366049995.

Abstract. According to the math tea argument, perhaps heard at a good afternoon tea, 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. Is it correct? In this talk, I shall 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? We shall discuss many interesting elementary 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.

Pointwise definable models of set theory

• J. D. Hamkins, D. Linetsky, and J. Reitz, “Pointwise definable models of set theory,” Journal of Symbolic Logic, vol. 78, iss. 1, pp. 139-156, 2013.
@article {HamkinsLinetskyReitz2013:PointwiseDefinableModelsOfSetTheory,
AUTHOR = {Hamkins, Joel David and Linetsky, David and Reitz, Jonas},
TITLE = {Pointwise definable models of set theory},
JOURNAL = {Journal of Symbolic Logic},
FJOURNAL = {Journal of Symbolic Logic},
VOLUME = {78},
YEAR = {2013},
NUMBER = {1},
PAGES = {139--156},
ISSN = {0022-4812},
MRCLASS = {03E55},
MRNUMBER = {3087066},
MRREVIEWER = {Bernhard A. König},
DOI = {10.2178/jsl.7801090},
URL = {http://jdh.hamkins.org/pointwisedefinablemodelsofsettheory/},
eprint = "1105.4597",
archivePrefix = {arXiv},
primaryClass = {math.LO},
}

Can there be natural instances of nonlinearity in the hierarchy of consistency strength? UWM Logic Seminar, January 2021

This is a talk for the University of Wisconsin, Madison Logic Seminar, 25 January 2020 1 pm (7 pm UK).

The talk will be held online via Zoom ID: 998 6013 7362.

Abstract. It is a mystery often mentioned in the foundations of mathematics that our best and strongest mathematical theories seem to be linearly ordered and indeed well-ordered by consistency strength. Given any two of the familiar large cardinal hypotheses, for example, generally one of them proves the consistency of the other. Why should this be? The phenomenon is seen as significant for the philosophy of mathematics, perhaps pointing us toward the ultimately correct mathematical theories. And yet, we know as a purely formal matter that the hierarchy of consistency strength is not well-ordered. It is ill-founded, densely ordered, and nonlinear. The statements usually used to illustrate these features are often dismissed as unnatural or as Gödelian trickery. In this talk, I aim to overcome that criticism—as well as I am able to—by presenting a variety of natural hypotheses that reveal ill-foundedness in consistency strength, density in the hierarchy of consistency strength, and incomparability in consistency strength.

The talk should be generally accessible to university logic students, requiring little beyond familiarity with the incompleteness theorem and some elementary ideas from computability theory.

Set-theoretic and arithmetic potentialism: the state of current developments, CACML 2020

This will be a plenary talk for the Chinese Annual Conference on Mathematical Logic (CACML 2020), held online 13-15 November 2020. My talk will be held 14 November 17:00 Beijing time (9 am GMT).

Abstract. Recent years have seen a flurry of mathematical activity in set-theoretic and arithmetic potentialism, in which we investigate a collection of models under various natural extension concepts. These potentialist systems enable a modal perspective—a statement is possible in a model, if it is true in some extension, and necessary, if it is true in all extensions. We consider the models of ZFC set theory, for example, with respect to submodel extensions, rank-extensions, forcing extensions and others, and these various extension concepts exhibit different modal validities. In this talk, I shall describe the state of current developments, including the most recent tools and results.

Continuous models of arithmetic, MOPA, November 2020

This will be a talk for the Models of Peano Arithmetic (MOPA) seminar on 11 November 2020, 12 pm EST (5pm GMT). Kindly note the rescheduled date and time.

Abstract. Ali Enayat had asked whether there is a model of Peano arithmetic (PA) that can be represented as $\newcommand\Q{\mathbb{Q}}\langle\Q,\oplus,\otimes\rangle$, where $\oplus$ and $\otimes$ are continuous functions on the rationals $\Q$. We prove, affirmatively, that indeed every countable model of PA has such a continuous presentation on the rationals. More generally, we investigate the topological spaces that arise as such topological models of arithmetic. The reals $\mathbb{R}$, the reals in any finite dimension $\mathbb{R}^n$, the long line and the Cantor space do not, and neither does any Suslin line; many other spaces do; the status of the Baire space is open.

This is joint work with Ali Enayat, myself and Bartosz Wcisło.

Article: Topological models of arithmetic

• A. Enayat, J. D. Hamkins, and B. Wcisło, “Topological models of arithmetic,” ArXiv e-prints, 2018. (Under review)
@ARTICLE{EnayatHamkinsWcislo2018:Topological-models-of-arithmetic,
author = {Ali Enayat and Joel David Hamkins and Bartosz Wcisło},
title = {Topological models of arithmetic},
journal = {ArXiv e-prints},
year = {2018},
volume = {},
number = {},
pages = {},
month = {},
note = {Under review},
abstract = {},
keywords = {under-review},
source = {},
doi = {},
eprint = {1808.01270},
archivePrefix = {arXiv},
primaryClass = {math.LO},
url = {http://wp.me/p5M0LV-1LS},
}

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},
}

Oxford Set Theory Seminar

Welcome to the Oxford Set Theory Seminar.

We focus on all aspects of set theory and the philosophy of set theory. Topics will include forcing, large cardinals, models of set theory, set theory as a foundation, set-theoretic potentialism, cardinal characteristics of the continuum, second-order set theory and class theory, and much more.

Technical topics are completely fine. Speakers are encouraged to pick set-theoretic topics having some philosophical angle or aspect, although it is expected that this might sometimes be a background consideration, while at other times it will be a primary focus.

The seminar will last 60-90 minutes, and are generally held on Wednesdays 4:00 – 5:30 UK time. Speakers are requested to prepare a one hour talk, and we expect a lively discussion with questions.

Hilary Term 2021

The seminar this term is again held jointly with the University of Bristol, organized by myself, Samuel Adam-Day, and Philip Welch.

Talks are held Wednesdays 4:00 – 5:30 pm UK time.

Iteration, reflection, and singular cardinals

Abstract. Two classical results of Magidor are:
(1) from large cardinals it is consistent to have reflection at $\aleph_{\omega+1}$, and
(2) from large cardinals it is consistent to have the failure of SCH at $\aleph_\omega$.
These principles are at odds with each other. The former is a compactness type principle. (Compactness is the phenomenon where if a certain property holds for every smaller substructure of an object, then it holds for the entire object.) In contrast, failure of SCH is an instance of incompactness. The natural question is whether we can have both of these simultaneously. We show the answer is yes.

We describe a Prikry style iteration, and use it to force stationary reflection in the presence of not SCH.  Then we obtain this situation at $\aleph_\omega$. This is joint work with Alejandro Poveda and Assaf Rinot.

Stationary reflection at successors of singular cardinals

We survey some recent progress in understanding stationary reflection at successors of singular cardinals and its influence on cardinal arithmetic:
1) In joint work with Yair Hayut, we reduced the consistency strength of stationary reflection at aleph_{omega+1} to an assumption weaker than kappa is kappa+ supercompact.
2) In joint work with Yair Hayut and Omer Ben-Neria, we prove that from large cardinals it is consistent that there is a singular cardinal nu of uncountable cofinality where the singular cardinal hypothesis fails at nu and every collection of fewer than cf(nu) stationary subsets of nu+ reflects at a common point.
The statement in the second theorem was not previously known to be consistent.  These results make use of analysis of Prikry generic objects over iterated ultrapowers.

The decomposability conjecture

Abstract. We characterize which Borel functions are decomposable into a countable union of functions which are piecewise continuous on $\Pi^0_n$ domains, assuming projective determinacy. One ingredient of our proof is a new characterization of what Borel sets are $\Sigma^0_n$ complete. Another important ingredient is a theorem of Harrington that there is no projective sequence of length $\omega_1$ of distinct Borel sets of  bounded rank, assuming projective determinacy. This is joint work with Adam Day.

Minimal Models and $\beta$ Categoricity

Abstract. Let us say that a theory $T$ in the language of set theory is $\beta$-consistent at $\alpha$ if there is a transitive model of $T$ of height $\alpha$, and let us say that it is $\beta$-categorical at $\alpha$ iff there is at most one transitive model of $T$ of height $\alpha$. Let us also assume, for ease of formulation, that there are arbitrarily large $\alpha$ such that $\newcommand\ZFC{\text{ZFC}}\ZFC$ is $\beta$-consistent at $\alpha$.

The sentence $\newcommand\VEL{V=L}\VEL$ has the feature that $\ZFC+\VEL$ is $\beta$-categorical at $\alpha$, for every $\alpha$. If we assume in addition that $\ZFC+\VEL$ is $\beta$-consistent at $\alpha$, then the uniquely determined model is $L_\alpha$, and the minimal such model, $L_{\alpha_0}$, is model of determined by the $\beta$-categorical theory $\ZFC+\VEL+M$, where $M$ is the statement “There does not exist a transitive model of $\ZFC$.”

It is natural to ask whether $\VEL$ is the only sentence that can be $\beta$-categorical at $\alpha$; that is, whether, there can be a sentence $\phi$ such that $\ZFC+\phi$ is $\beta$-categorical at $\alpha$, $\beta$-consistent at $\alpha$, and where the unique model is not $L_\alpha$.  In the early 1970s Harvey Friedman proved a partial result in this direction. For a given ordinal $\alpha$, let $n(\alpha)$ be the next admissible ordinal above $\alpha$, and, for the purposes of this discussion, let us say that an ordinal $\alpha$ is minimal iff a bounded subset of $\alpha$ appears in $L_{n(\alpha)}\setminus L_\alpha$. [Note that $\alpha_0$ is minimal (indeed a new subset of $\omega$ appears as soon as possible, namely, in a $\Sigma_1$-definable manner over $L_{\alpha_0+1}$) and an ordinal $\alpha$ is non-minimal iff $L_{n(\alpha)}$ satisfies that $\alpha$ is a cardinal.] Friedman showed that for all $\alpha$ which are non-minimal, $\VEL$ is the only sentence that is $\beta$-categorical at $\alpha$. The question of whether this is also true for $\alpha$ which are minimal has remained open.

In this talk I will describe some joint work with Hugh Woodin that bears on this question. In general, when approaching a “lightface” question (such as the one under consideration) it is easier to first address the “boldface” analogue of the question by shifting from the context of $L$ to the context of $L[x]$, where $x$ is a real. In this new setting everything is relativized to the real $x$: For an ordinal $\alpha$, we let $n_x(\alpha)$ be the first $x$-admissible ordinal above $\alpha$, and we say that $\alpha$ is $x$-minimal iff a bounded subset of $\alpha$ appears in $L_{n_x(\alpha)}[x]\setminus L_{\alpha}[x]$.

Theorem. Assume $M_1^\#$ exists and is fully iterable. There
is a sentence $\phi$ in the language of set theory with two
additional constants, c and d, such that for a Turing cone
of $x$, interpreting c by $x$, for all $\alpha$

1. if $L_\alpha[x]\models\ZFC$ then there is an interpretation of d by something in $L_\alpha[x]$ such that there is a $\beta$-model of $\ZFC+\phi$ of height $\alpha$ and not equal to $L_\alpha[x]$, and
2. if, in addition, $\alpha$ is $x$-minimal, then there is a unique $\beta$-model of $\ZFC+\phi$ of height $\alpha$ and not equal to $L_\alpha[x]$.

The sentence $\phi$ asserts the existence of an object which is external to $L_\alpha[x]$ and which, in the case where $\alpha$ is minimal, is canonical. The object is a branch $b$ through a certain tree in $L_\alpha[x]$, and the construction uses techniques from the HOD analysis of models of determinacy.

In this talk I will sketch the proof, describe some additional features of the singleton, and say a few words about why the lightface version looks difficult.

Michaelmas Term 2020

This term, we are coordinating the seminar in collaboration with Bristol, and so let me announce the joint meetings of the Oxford Set Theory Seminar and the Bristol Logic and Set Theory seminar. Organized by myself, Samuel Adam-Day, and Philip Welch.

For the Zoom access code (which is the same as last term), contact Samuel Adam-Day me@samadamday.com.

Talks are held on Wednesdays 4:00 – 5:30 UK time.

Ultrafilters on omega versus forcing

Abstract. I plan to survey known facts and open questions about ultrafilters on omega generating (or not generating) ultrafilters in forcing extensions.

On wide Aronszajn trees

Aronszajn trees are a staple of set theory, but there are applications where the requirement of all levels being countable is of no importance. This is the case in set-theoretic model theory, where trees of height and size ω1 but with no uncountable branches play an important role by being clocks of Ehrenfeucht–Fraïssé games that measure similarity of model of size ℵ1. We call such trees wide Aronszajn. In this context one can also compare trees T and T’ by saying that T weakly embeds into T’ if there is a function f that map T into T’ while preserving the strict order <_T. This order translates into the comparison of winning strategies for the isomorphism player, where any winning strategy for T’ translates into a winning strategy for T’. Hence it is natural to ask if there is a largest such tree, or as we would say, a universal tree for the class of wood Aronszajn trees with weak embeddings. It was known that there is no such a tree under CH, but in 1994 Mekler and Väänanen conjectured that there would be under MA(ω1).

In our upcoming JSL  paper with Saharon Shelah we prove that this is not the case: under MA(ω1) there is no universal wide Aronszajn tree.

The talk will discuss that paper. The paper is available on the arxiv and on line at JSL in the preproof version doi: 10.1017/jsl.2020.42.

Even ordinals and the Kunen inconsistency

Abstract. The Burali-Forti paradox suggests that the transfinite cardinals “go on forever,” surpassing any conceivable bound one might try to place on them. The traditional Zermelo-Frankel axioms for set theory fall into a hierarchy of axiomatic systems formulated by reasserting this intuition in increasingly elaborate ways: the large cardinal hierarchyOr so the story goes. A serious problem for this already naive account of large cardinal set theory is the Kunen inconsistency theorem, which seems to impose an upper bound on the extent of the large cardinal hierarchy itself. If one drops the Axiom of Choice, Kunen’s proof breaks down and a new hierarchy of choiceless large cardinal axioms emerges. These axioms, if consistent, represent a challenge for those “maximalist” foundational stances that take for granted both large cardinal axioms and the Axiom of Choice. This talk concerns some recent advances in our understanding of the weakest of the choiceless large cardinal axioms and the prospect, as yet unrealized, of establishing their consistency and reconciling them with the Axiom of Choice.

The geology of inner mantles

An inner model is a ground if V is a set forcing extension of it. The intersection of the grounds is the mantle, an inner model of ZFC which enjoys many nice properties. Fuchs, Hamkins, and Reitz showed that the mantle is highly malleable. Namely, they showed that every model of set theory is the mantle of a bigger, better universe of sets. This then raises the possibility of iterating the definition of the mantle—the mantle, the mantle of the mantle, and so on, taking intersections at limit stages—to obtain even deeper inner models. Let’s call the inner models in this sequence the inner mantles.

In this talk I will present some results, both positive and negative, about the sequence of inner mantles, answering some questions of Fuchs, Hamkins, and Reitz, results which are analogues of classic results about the sequence of iterated HODs. On the positive side: (Joint with Reitz) Every model of set theory is the eta-th inner mantle of a class forcing extension for any ordinal eta in the model. On the negative side: The sequence of inner mantles may fail to carry through at limit stages. Specifically, it is consistent that the omega-th inner mantle not be a definable class and it is consistent that it be a definable inner model of ¬AC.

Trinity Term 2020

In Trinity term 2020, the seminar is organized by myself and Samuel Adam-Day. In light of the corona virus situation, we will be meeting online via Zoom for the foreseeable future.

6 May 2020, 4 pm UK

Victoria Gitman, City University of New York

Elementary embeddings and smaller large cardinals

Abstract  A common theme in the definitions of larger large cardinals is the existence of elementary embeddings from the universe into an inner model. In contrast, smaller large cardinals, such as weakly compact and Ramsey cardinals, are usually characterized by their combinatorial properties such as existence of large homogeneous sets for colorings. It turns out that many familiar smaller large cardinals have elegant elementary embedding characterizations. The embeddings here are correspondingly ‘small’; they are between transitive set models of set theory, usually the size of the large cardinal in question. The study of these elementary embeddings has led us to isolate certain important properties via which we have defined robust hierarchies of large cardinals below a measurable cardinal. In this talk, I will introduce these types of elementary embeddings and discuss the large cardinal hierarchies that have come out of the analysis of their properties. The more recent results in this area are a joint work with Philipp Schlicht.

20 May 2020, 4 pm

Joel David Hamkins, Oxford

Bi-interpretation of weak set theories

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.

27 May 2020, 4 pm

Ali Enayat, Gothenberg

Leibnizian and anti-Leibnizian motifs in set theory

Abstract. Leibniz’s principle of identity of indiscernibles at first sight appears completely unrelated to set theory, but Mycielski (1995) formulated a set-theoretic axiom nowadays referred to as LM (for Leibniz-Mycielski) which captures the spirit of Leibniz’s dictum in the following sense:  LM holds in a model M of ZF iff M is elementarily equivalent to a model M* in which there is no pair of indiscernibles.  LM was further investigated in a 2004  paper of mine, which includes a proof that LM is equivalent to the global form of the Kinna-Wagner selection principle in set theory.  On the other hand, one can formulate a strong negation of Leibniz’s principle by first adding a unary predicate I(x) to the usual language of set theory, and then augmenting ZF with a scheme that ensures that I(x) describes a proper class of indiscernibles, thus giving rise to an extension ZFI of ZF that I showed (2005) to be intimately related to Mahlo cardinals of finite order. In this talk I will give an expository account of the above and related results that attest to a lively interaction between set theory and Leibniz’s principle of identity of indiscernibles.

17 June 2020, 4 pm

Corey Bacal Switzer, City University of New York

Some Set Theory of Kaufmann Models

Abstract.
A Kaufmann model is an $\omega_1$-like, recursively saturated, rather classless model of PA. Such models were shown to exist by Kaufmann under the assumption that $\diamondsuit$ holds, and in ZFC by Shelah via an absoluteness argument involving strong logics. They are important in the theory of models of arithmetic notably because they show that many classic results about countable, recursively saturated models of arithmetic cannot be extended to uncountable models. They are also a particularly interesting example of set theoretic incompactness at $\omega_1$, similar to an Aronszajn tree.

In this talk we’ll look at several set theoretic issues relating to this class of models motivated by the seemingly naïve question of whether or not such models can be killed by forcing without collapsing $\omega_1$. Surprisingly the answer to this question turns out to be independent: under $\mathsf{MA}_{\aleph_1}$ no $\omega_1$-preserving forcing can destroy Kaufmann-ness whereas under $\diamondsuit$ there is a Kaufmann model $M$ and a Souslin tree $S$ so that forcing with $S$ adds a satisfaction class to $M$ (thus killing rather classlessness). The techniques involved in these proofs also yield another surprising side of Kaufmann models: it is independent of ZFC whether the class of Kaufmann models can be axiomatized in the logic $L_{\omega_1, \omega}(Q)$ where $Q$ is the quantifier “there exists uncountably many”. This is the logic used in Shelah’s aforementioned result, hence the interest in this level of expressive power.

The seminar talks appear in the compilation of math seminars at https://mathseminars.org/seminar/oxford-set-theory.

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},
}

The hierarchy of second-order set theories between GBC and KM and beyond

This was a talk at the upcoming International Workshop in Set Theory at the Centre International de Rencontres Mathématiques at the Luminy campus in Marseille, France, October 9-13, 2017.

Abstract. Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set theory and beyond. For example, the principle of clopen determinacy for proper class games is exactly equivalent to the principle of elementary transfinite recursion ETR, strictly between GBC and GBC+$\Pi^1_1$-comprehension; open determinacy for class games, in contrast, is strictly stronger; meanwhile, the class forcing theorem, asserting that every class forcing notion admits corresponding forcing relations, is strictly weaker, and is exactly equivalent to the fragment $\text{ETR}_{\text{Ord}}$ and to numerous other natural principles. What is emerging is a higher set-theoretic analogue of the familiar reverse mathematics of second-order number theory.

Slides

Have you ever observed carefully how a slinky falls? Suspend a slinky from one end, letting it hang freely in the air under its own weight, and then, let go! The slinky begins to fall. The top of the slinky, of course, begins to fall the moment you let go of it. But what happens at the bottom of the slinky? Does it also start to fall at the same moment you release the top? Or perhaps it moves upward, as the slinky contracts as it falls? Or does the bottom of the slinky simply hang motionless in the air for a time?

The surprising fact is that indeed the bottom of the slinky doesn’t move at all when you release the top of the slinky! It hangs momentarily motionless in the air in exactly the same coiled configuration that it had before the drop. This is the surprising slinky drop effect.

My son (age 13, eighth grade) took up the topic for his science project this year at school.  He wanted to establish the basic phenomenon of the slinky drop effect and to investigate some of the subtler aspects of it.  For a variety of different slinky types, he filmed the slinky drops against a graded background with high-speed camera, and then replayed them in slow motion to watch carefully and take down the data.  Here are a few sample videos. He made about a dozen drops altogether.  For the actual data collection, the close-up videos were more useful. Note the ring markers A, B, C, and so on, in some of the videos.

See more videos here.

For each slinky drop video, he went through the frames and recorded the vertical location of various marked rings (you can see the labels A, B, C and so on in some of the videos above) into a spreadsheet. From this data he then produced graphs such as the following for each slinky drop:

In each case, you can see clearly in the graph the moment when the top of the slinky is released, since this is the point at which the top line begins to descend. The thing to notice next — the main slinky drop effect — is that the lower parts of the slinky do not move at the same time. Rather, the lower lines remain horizontal for some time after the drop point. Basically, they remain horizontal until the bulk of the slinky nearly descends upon them. So the experiments clearly establish the main slinky drop phenomenon: the bottom of the slinky remains motionless for a time hanging in the air unchanged after the top is released.

In addition to this effect, however, my son was focused on investigating a much more subtle aspect of the slinky drop phenomenon. Namely, when exactly does the bottom of the slinky start to move?  Some have said that the bottom moves only when the top catches up to it; but my son hypothesized, based on observations, as well as discussions with his father and uncles, that the bottom should start to move slightly before the bulk of the slinky meets it. Namely, he thought that when you release the top of the slinky, a wave of motion travels through the slinky, and this wave travels slightly fast than the top of the slinky falls. The bottom moves, he hypothesized, when the wave front first gets to the bottom.

His data contains some confirming evidence for this subtler hypothesis, but for some of the drops, the experiment was inconclusive on this smaller effect. Overall, he had a great time undertaking the science project.

June 2016 Update: On the basis of his science fair poster and presentation, my son was selected as nominee to the Broadcom Masters national science fair competition! He is now competing against other nominees (top 10% of participating science fairs) for a chance to present his research in Washington at the final national competition next October.

September 2016 Update: My son has now been selected as a Broadcom Masters semi-finalist, placing him in the top 300 amongst more than 6000 nominees. The finalists will be chosen in a few weeks, with the chance to present in Washington, D.C.