Cantor’s Ice Cream Shoppe

Welcome to Cantor’s Ice Cream Shoppe! A huge choice of flavors—pile your cone high with as many scoops as you want!

Have two scoops, or three, four, or more! Why not infinitely many? Would you like $\omega$ many scoops, or $\omega\cdot2+5$ many scoops? You can have any countable ordinal number of scoops on your cone.

And furthermore, after ordering your scoops, you can order more scoops to be placed on top—all I ask is that you let me know how many such extra orders you plan to make. Let’s simply proceed transfinitely. You can announce any countable ordinal $\eta$, which will be the number of successive orders you will make; each order is a countable ordinal number of ice cream scoops to be placed on top of whatever cone is being assembled.

In fact, I’ll even let you change your mind about $\eta$ as we proceed, so as to give you more orders to make a taller cone.

So the process is:

  • You pick a countable ordinal $\eta$, which is the number of orders you will make.
  • For each order, you can pick any countable ordinal number of scoops to be added to the top of your ice-cream cone.
  • After making your order, you can freely increase $\eta$ to any larger countable ordinal, giving you the chance to make as many additional orders as you like.

At each limit stage of the ordering process, the ice cream cone you are assembling has all the scoops you’ve ordered so far, and we set the current $\eta$ value to the supremum of the values you had chosen so far.

If at any stage, you’ve used up your $\eta$ many orders, then the process has completed, and I serve you your ice cream cone. Enjoy!

Question. Can you arrange to achieve uncountably many scoops on your cone?

Although at each stage we place only countably many ice cream scoops onto the cone, nevertheless we can keep giving ourselves extra stages, as many as we want, simply by increasing $\eta$. Can you describe a systematic process of increasing the number of steps that will enable you to make uncountably many orders? This would achieve an unountable ice cream cone.

What is your solution? Give it some thought before proceeding. My solution appears below.

Alas, I claim that at Cantor’s Ice Cream Shoppe you cannot make an ice cream cone with uncountably many scoops. Specifically, I claim that there will inevitably come a countable ordinal stage at which you have used up all your orders.

Suppose that you begin by ordering $\beta_0$ many scoops, and setting a large value $\eta_0$ for the number of orders you will make. You subsequently order $\beta_1$ many additional scoops, and then $\beta_2$ many on top of that, and so on. At each stage, you may also have increased the value of $\eta_0$ to $\eta_1$ and then $\eta_2$ and so on. Probably all of these are enormous countable ordinals, making a huge ice cream cone.

At each stage $\alpha$, provided $\alpha<\eta_\alpha$, then you can make an order of $\beta_\alpha$ many scoops on top of your cone, and increase $\eta_\alpha$ to $\eta_{\alpha+1}$, if desired, or keep it the same.

At a limit stage $\lambda$, your cone has $\sum_{\alpha<\lambda}\beta_\alpha$ many scoops, and we update the $\eta$ value to the supremum of your earlier declarations $\eta_\lambda=\sup_{\alpha<\lambda}\eta_\alpha$.

What I claim now is that there will inevitably come a countable stage $\lambda$ for which $\lambda=\eta_\lambda$, meaning that you have used up all your orders with no possibility to further increase $\eta$. To see this, consider the sequence $$\eta_0\leq \eta_{\eta_0}\leq \eta_{\eta_{\eta_0}}\leq\cdots$$ We can define the sequence recursively by $\lambda_0=\eta_0$ and $\lambda_{n+1}=\eta_{\lambda_n}$. Let $\lambda=\sup_{n<\omega}\lambda_n$, the limit of this sequence. This is a countable supremum of countable ordinals and hence countable. But notice that $$\eta_\lambda=\sup_{n<\omega}\eta_{\lambda_n}=\sup_{n<\omega}\lambda_{n+1}=\lambda.$$ That is, $\eta_\lambda=\lambda$ itself, and so your orders have run out at $\lambda$, with no possibility to add more scoops or to increase $\eta$. So your order process completed at a countable stage, and you have therefore altogether only a countable ordinal number of scoops of ice cream. I’m truly very sorry at your pitiable impoverishment.

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

Potentialist perspectives

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

[bibtex key=”EnayatHamkinsWcislo2018:Topological-models-of-arithmetic”]

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

Article: The $\Sigma_1$-definable universal finite sequence

[bibtex key=”HamkinsWilliams:The-universal-finite-sequence”]

Lectures on the Philosophy of Mathematics, Oxford Michaelmas Term 2020

This series of self-contained lectures on the philosophy of mathematics, offered for Oxford Michaelmas Term 2020, is intended for students preparing for philosophy exam paper 122, although all interested parties are welcome to join. The lectures will be organized loosely around mathematical themes, in such a way that brings various philosophical issues naturally to light.

Lectures will follow my new book Lectures on the Philosophy of Mathematics (MIT Press), with supplemental readings suggested each week for further tutorial work. The book is available for pre-order, to be released 2 February 2021.

Lectures will be held online via Zoom every Wednesday 11-12 am during term at the following Zoom coordinates:

Meeting ID: 828 2222 8760

Passcode: 242081

All lectures will be recorded and made available at a later date.

Lecture 1. Numbers

Numbers are perhaps the essential mathematical idea, but what are numbers? There are many kinds of numbers—natural numbers, integers, rational numbers, real numbers, complex numbers, hyperreal numbers, surreal numbers, ordinal numbers, and more—and these number systems provide a fruitful background for classical arguments on incommensurability and transcendentality, while setting the stage for discussions of platonism, logicism, the nature of abstraction, the significance of categoricity, and structuralism.

Lecture 2. Rigour

Let us consider the problem of mathematical rigour in the development of the calculus. Informal continuity concepts and the use of infinitesimals ultimately gave way to the epsilon-delta limit concept, which secured a more rigourous foundation while also enlarging our conceptual vocabulary, enabling us to express more refined notions, such as uniform continuity, equicontinuity, and uniform convergence. Nonstandard analysis resurrected the infinitesimals on a more secure foundation, providing a parallel development of the subject. Meanwhile, increasing abstraction emerged in the function concept, which we shall illustrate with the Devil’s staircase, space-filling curves, and the Conway base 13 function. Finally, does the indispensability of mathematics for science ground mathematical truth? Fictionalism puts this in question.

Lecture 3. Infinity

We shall follow the allegory of Hilbert’s hotel and the paradox of Galileo to the equinumerosity relation and the notion of countability. Cantor’s diagonal arguments, meanwhile, reveal uncountability and a vast hierarchy of different orders of infinity; some arguments give rise to the distinction between constructive and nonconstructive proof. Zeno’s paradox highlights classical ideas on potential versus actual infinity. Furthermore, we shall count into the transfinite ordinals.

Lecture 4. Geometry

Classical Euclidean geometry is the archetype of a mathematical deductive process. Yet the impossibility of certain constructions by straightedge and compass, such as doubling the cube, trisecting the angle, or squaring the circle, hints at geometric realms beyond Euclid. The rise of non-Euclidean geometry, especially in light of scientific theories and observations suggesting that physical reality is not Euclidean, challenges previous accounts of what geometry is about. New formalizations, such as those of David Hilbert and Alfred Tarski, replace the old axiomatizations, augmenting and correcting Euclid with axioms on completeness and betweenness. Ultimately, Tarski’s decision procedure points to a tantalizing possibility of automation in geometrical reasoning.

Lecture 5. Proof

What is proof? What is the relation between proof and truth? Is every mathematical truth true for a reason? After clarifying the distinction between syntax and semantics and discussing various views on the nature of proof, including proof-as-dialogue, we shall consider the nature of formal proof. We shall highlight the importance of soundness, completeness, and verifiability in any formal proof system, outlining the central ideas used in proving the completeness theorem. The compactness property distills the finiteness of proofs into an independent, purely semantic consequence. Computer-verified proof promises increasing significance; its role is well illustrated by the history of the four-color theorem. Nonclassical logics, such as intuitionistic logic, arise naturally from formal systems by weakening the logical rules.

Lecture 6. Computability

What is computability? Kurt Gödel defined a robust class of computable functions, the primitive recursive functions, and yet he gave reasons to despair of a fully satisfactory answer. Nevertheless, Alan Turing’s machine concept of computability, growing out of a careful philosophical analysis of the nature of human computability, proved robust and laid a foundation for the contemporary computer era; the widely accepted Church-Turing thesis asserts that Turing had the right notion. The distinction between computable decidability and computable enumerability, highlighted by the undecidability of the halting problem, shows that not all mathematical problems can be solved by machine, and a vast hierarchy looms in the Turing degrees, an infinitary information theory. Complexity theory refocuses the subject on the realm of feasible computation, with the still-unsolved P versus NP problem standing in the background of nearly every serious issue in theoretical computer science.

Lecture 7. Incompleteness

David Hilbert sought to secure the consistency of higher mathematics by finitary reasoning about the formalism underlying it, but his program was dashed by Gödel’s incompleteness theorems, which show that no consistent formal system can prove even its own consistency, let alone the consistency of a higher system. We shall describe several proofs of the first incompleteness theorem, via the halting problem, self-reference, and definability, showing senses in which we cannot complete mathematics. After this, we shall discuss the second incompleteness theorem, the Rosser variation, and Tarski’s theorem on the nondefinability of truth. Ultimately, one is led to the inherent hierarchy of consistency strength rising above every foundational mathematical theory.

Lecture 8. Set Theory

We shall discuss the emergence of set theory as a foundation of mathematics. Cantor founded the subject with key set-theoretic insights, but Frege’s formal theory was naive, refuted by the Russell paradox. Zermelo’s set theory, in contrast, grew ultimately into the successful contemporary theory, founded upon a cumulative conception of the set-theoretic universe. Set theory was simultaneously a new mathematical subject, with its own motivating questions and tools, but it also was a new foundational theory with a capacity to represent essentially arbitrary abstract mathematical structure. Sophisticated technical developments, including in particular, the forcing method and discoveries in the large cardinal hierarchy, led to a necessary engagement with deep philosophical concerns, such as the criteria by which one adopts new mathematical axioms and set-theoretic pluralism.

Lectures on the Philosophy of Mathematics

[bibtex key=”Hamkins2021:Lectures-on-the-philosophy-of-mathematics”]

Now available for preorder!

From the Preface:

Philosophical conundrums pervade mathematics, from fundamental questions of mathematical ontology—What is a number? What is infinity?—to questions about the relations among truth, proof, and meaning. What is the role of figures in geometric argument? Do mathematical objects exist that we cannot construct? Can every mathematical question be solved in principle by computation? Is every truth of mathematics true for a reason? Can every mathematical truth be proved?

This book is an introduction to the philosophy of mathematics, in which we shall consider all these questions and more. I come to the subject from mathematics, and I have strived in this book for what I hope will be a fresh approach to the philosophy of mathematics—one grounded in mathematics, motivated by mathematical inquiry or mathematical practice. I have strived to treat philosophical issues as they arise organically in mathematics. Therefore, I have organized the book by mathematical themes, such as number, infinity, geometry, and computability, and I have included some mathematical arguments and elementary proofs when they bring philosophical issues to light.

Modal model theory

This is joint work with Wojciech Aleksander Wołoszyn, who is about to begin as a DPhil student with me in mathematics here in Oxford. We began and undertook this work over the past year, while he was a visitor in Oxford under the Recognized Student program.

[bibtex key=”HamkinsWoloszyn:Modal-model-theory”]

Abstract. We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathematically natural notions of possibility and necessity. A statement $\varphi$ is possible in a structure (written $\Diamond\varphi$) if $\varphi$ is true in some extension of that structure, and $\varphi$ is necessary (written $\Box\varphi$) if it is true in all extensions of the structure. A principal case for us will be the class $\text{Mod}(T)$ of all models of a given theory $T$—all graphs, all groups, all fields, or what have you—considered under the substructure relation. In this article, we aim to develop the resulting modal model theory. The class of all graphs is a particularly insightful case illustrating the remarkable power of the modal vocabulary, for the modal language of graph theory can express connectedness, $k$-colorability, finiteness, countability, size continuum, size $\aleph_1$, $\aleph_2$, $\aleph_\omega$, $\beth_\omega$, first $\beth$-fixed point, first $\beth$-hyper-fixed-point and much more. A graph obeys the maximality principle $\Diamond\Box\varphi(a)\to\varphi(a)$ with parameters if and only if it satisfies the theory of the countable random graph, and it satisfies the maximality principle for sentences if and only if it is universal for finite graphs.

Follow through the arXiv for a pdf of the article.

[bibtex key=”HamkinsWoloszyn:Modal-model-theory”]

Categorical large cardinals and the tension between categoricity and set-theoretic reflection

[bibtex key=”HamkinsSolberg:Categorical-large-cardinals”]

Abstract. Inspired by Zermelo’s quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$ either of a first-order sentence, a first-order theory, a second-order sentence or a second-order theory. The heights of these models, we define, are the categorical large cardinals. We subsequently consider various philosophical aspects of categoricity for structuralism and realism, including the tension between categoricity and set-theoretic reflection, and we present (and criticize) a categorical characterization of the set-theoretic universe $\langle V,\in\rangle$ in second-order logic.

Categorical accounts of various mathematical structures lie at the very core of structuralist mathematical practice, enabling mathematicians to refer to specific mathematical structures, not by having carefully to prepare and point at specially constructed instances—preserved like the one-meter iron bar locked in a case in Paris—but instead merely by mentioning features that uniquely characterize the structure up to isomorphism.

The natural numbers $\langle \mathbb{N},0,S\rangle$, for example, are uniquely characterized by the Dedekind axioms, which assert that $0$ is not a successor, that the successor function $S$ is one-to-one, and that every set containing $0$ and closed under successor contains every number. We know what we mean by the natural numbers—they have a definite realness—because we can describe features that completely determine the natural number structure. The real numbers $\langle\mathbb{R},+,\cdot,0,1\rangle$ similarly are characterized up to isomorphism as the unique complete ordered field. The complex numbers $\langle\mathbb{C},+,\cdot\rangle$ form the unique algebraically closed field of characteristic $0$ and size continuum, or alternatively, the unique algebraic closure of the real numbers. In fact all our fundamental mathematical structures enjoy such categorical characterizations, where a theory is categorical if it identifies a unique mathematical structure up to isomorphism—any two models of the theory are isomorphic. In light of the Löwenheim-Skolem theorem, which prevents categoricity for infinite structures in first-order logic, these categorical theories are generally made in second-order logic.

In set theory, Zermelo characterized the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$ in his famous quasi-categoricity result:

Theorem. (Zermelo, 1930) The models of $\text{ZFC}_2$ are precisely those isomorphic to a rank-initial segment $\langle V_\kappa,\in\rangle$ of the cumulative set-theoretic universe $V$ cut off at an inaccessible cardinal $\kappa$.

It follows that for any two models of $\text{ZFC}_2$, one of them is isomorphic to an initial segment of the other. These set-theoretic models $V_\kappa$ have now come to be known as Zermelo-Grothendieck universes, in light of Grothendieck’s use of them in category theory (a rediscovery several decades after Zermelo); they feature in the universe axiom, which asserts that every set is an element of some such $V_\kappa$, or equivalently, that there are unboundedly many inaccessible cardinals.

In this article, we seek to investigate 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.

Question. Which models of $\text{ZFC}_2$ satisfy fully categorical theories?

If $\kappa$ is the smallest inaccessible cardinal, for example, then up to isomorphism $V_\kappa$ is the unique model of $\text{ZFC}_2$ satisfying the first-order sentence “there are no inaccessible cardinals.” The least inaccessible cardinal is therefore an instance of what we call a first-order sententially categorical cardinal. Similar ideas apply to the next inaccessible cardinal, and the next, and so on for quite a long way. Many of the inaccessible universes thus satisfy categorical theories extending $\text{ZFC}_2$ by a sentence or theory, either in first or second order, and we should like to investigate these categorical extensions of $\text{ZFC}_2$.

In addition, we shall discuss the philosophical relevance of categoricity and point particularly to the philosophical problem posed by the tension between the widespread support for categoricity in our fundamental mathematical structures with set-theoretic ideas on reflection principles, which are at heart anti-categorical.

Our main theme concerns these notions of categoricity:

Main Definition.

  • A cardinal $\kappa$ is first-order sententially categorical, if there is a first-order sentence $\sigma$ in the language of set theory, such that $V_\kappa$ is categorically characterized by $\text{ZFC}_2+\sigma$.
  • A cardinal $\kappa$ is first-order theory categorical, if there is a first-order theory $T$ in the language of set theory, such that $V_\kappa$ is categorically characterized by $\text{ZFC}_2+T$.
  • A cardinal $\kappa$ is second-order sententially categorical, if there is a second-order sentence $\sigma$ in the language of set theory, such that $V_\kappa$ is categorically characterized by $\text{ZFC}_2+\sigma$.
  • A cardinal $\kappa$ is second-order theory categorical, if there is a second-order theory $T$ in the language of set theory, such that $V_\kappa$ is categorically characterized by $\text{ZFC}_2+T$.

Follow through to the arxiv for the pdf to read more:

[bibtex key=”HamkinsSolberg:Categorical-large-cardinals”]

Related talk: Categorical cardinals, CUNY Set Theory Seminar, June 2020

The otherwordly cardinals

I’d like to introduce and discuss the otherworldly cardinals, a large cardinal notion that frequently arises in set-theoretic analysis, but which until now doesn’t seem yet to have been given its own special name. So let us do so here.

I was put on to the topic by Jason Chen, a PhD student at UC Irvine working with Toby Meadows, who brought up the topic recently on Twitter:

In response, I had suggested the otherworldly terminology, a play on the fact that the two cardinals will both be worldly, and so we have in essence two closely related worlds, looking alike. We discussed the best way to implement the terminology and its extensions. The main idea is the following:

Main Definition. An ordinal $\kappa$ is otherworldly if $V_\kappa\prec V_\lambda$ for some ordinal $\lambda>\kappa$. In this case, we say that $\kappa$ is otherworldly to $\lambda$.

It is an interesting exercise to see that every otherworldly cardinal $\kappa$ is in fact also worldly, which means $V_\kappa\models\text{ZFC}$, and from this it follows that $\kappa$ is a strong limit cardinal and indeed a $\beth$-fixed point and even a $\beth$-hyperfixed point and more.

Theorem. Every otherworldly cardinal is also worldly.

Proof. Suppose that $\kappa$ is otherworldly, so that $V_\kappa\prec V_\lambda$ for some ordinal $\lambda>\kappa$. It follows that $\kappa$ must in fact be a cardinal, since otherwise it would be the order type of a relation on a set in $V_\kappa$, which would be isomorphic to an ordinal in $V_\lambda$ but not in $V_\kappa$. And since $\omega$ is not otherworldly, we see that $\kappa$ must be an uncountable cardinal. Since $V_\kappa$ is transitive, we get now easily that $V_\kappa$ satisfies extensionality, regularity, union, pairing, power set, separation and infinity. The only axiom remaining is replacement. If $\varphi(a,b)$ obeys a functional relation in $V_\kappa$ for all $a\in A$, where $A\in V_\kappa$, then $V_\lambda$ agrees with that, and also sees that the range is contained in $V_\kappa$, which is a set in $V_\lambda$. So $V_\kappa$ agrees that the range is a set. So $V_\kappa$ fulfills the replacement axiom. $\Box$

Corollary. A cardinal is otherworldly if and only if it is fully correct in a worldly cardinal.

Proof. Once you know that otherworldly cardinals are worldly, this amounts to a restatement of the definition. If $V_\kappa\prec V_\lambda$, then $\lambda$ is worldly, and $V_\kappa$ is correct in $V_\lambda$. $\Box$

Let me prove next that whenever you have an otherworldly cardinal, then you will also have a lot of worldly cardinals, not just these two.

Theorem. Every otherworldly cardinal $\kappa$ is a limit of worldly cardinals. What is more, every otherworldly cardinal is a limit of worldly cardinals having exactly the same first-order theory as $V_\kappa$, and indeed, the same $\alpha$-order theory for any particular $\alpha<\kappa$.

Proof. If $V_\kappa\prec V_\lambda$, then $V_\lambda$ can see that $\kappa$ is worldly and has the theory $T$ that it does. So $V_\lambda$ thinks, about $T$, that there is a cardinal whose rank initial segment has theory $T$. Thus, $V_\kappa$ also thinks this. And we can find arbitrarily large $\delta$ up to $\kappa$ such that $V_\delta$ has this same theory. This argument works whether one uses the first-order theory, or the second-order theory or indeed the $\alpha$-order theory for any $\alpha<\kappa$. $\Box$

Theorem. If $\kappa$ is otherworldly, then for every ordinal $\alpha<\kappa$ and natural number $n$, there is a cardinal $\delta<\kappa$ with $V_\delta\prec_{\Sigma_n}V_\kappa$ and the $\alpha$-order theory of $V_\delta$ is the same as $V_\kappa$.

Proof. One can do the same as above, since $V_\lambda$ can see that $V_\kappa$ has the $\alpha$-order theory that it does, while also agreeing on $\Sigma_n$ truth with $V_\lambda$, so $V_\kappa$ will agree that there should be such a cardinal $\delta<\kappa$. $\Box$

Definition. We say that a cardinal is totally otherworldly, if it is otherworldly to arbitrarily large ordinals. It is otherworldly beyond $\theta$, if it is otherworldly to some ordinal larger than $\theta$. It is otherworldly up to $\delta$, if it is otherworldly to ordinals cofinal in $\delta$.

Theorem. Every inaccessible cardinal $\delta$ is a limit of otherworldly cardinals that are each otherworldly up to and to $\delta$.

Proof. If $\delta$ is inaccessible, then a simple Löwenheim-Skolem construction shows that $V_\kappa$ is the union of a continuous elementary chain $$V_{\kappa_0}\prec V_{\kappa_1}\prec\cdots\prec V_{\kappa_\alpha}\prec \cdots \prec V_\kappa$$ Each of the cardinals $\kappa_\alpha$ arising on this chain is otherworldly up to and to $\delta$. $\Box$

Theorem. Every totally otherworldly cardinal is $\Sigma_2$ correct, meaning $V_\kappa\prec_{\Sigma_2} V$. Consequently, every totally otherworldly cardinal is larger than the least measurable cardinal, if it exists, and larger than the least superstrong cardinal, if it exists, and larger than the least huge cardinal, if it exists.

Proof. Every $\Sigma_2$ assertion is locally verifiable in the $V_\alpha$ hierarchy, in that it is equivalent to an assertion of the form $\exists\eta V_\eta\models\psi$ (for more information, see my post about Local properties in set theory). Thus, every true $\Sigma_2$ assertion is revealed inside any sufficiently large $V_\lambda$, and so if $V_\kappa\prec V_\lambda$ for arbitrarily large $\lambda$, then $V_\kappa$ will agree on those truths. $\Box$

I was a little confused at first about how two totally otherwordly cardinals interact, but now everything is clear with this next result. (Thanks to Hanul Jeon for his helpful comment below.)

Theorem. If $\kappa<\delta$ are both totally otherworldly, then $\kappa$ is otherworldly up to $\delta$, and hence totally otherworldly in $V_\delta$.

Proof. Since $\delta$ is totally otherworldly, it is $\Sigma_2$ correct. Since for every $\alpha<\delta$ the cardinal $\kappa$ is otherworldly beyond $\alpha$, meaning $V_\kappa\prec V_\lambda$ for some $\lambda>\alpha$, then since this is a $\Sigma_2$ feature of $\kappa$, it must already be true inside $V_\delta$. So such a $\lambda$ can be found below $\delta$, and so $\kappa$ is otherworldly up to $\delta$. $\Box$

Theorem. If $\kappa$ is totally otherworldly, then $\kappa$ is a limit of otherworldly cardinals, and indeed, a limit of otherworldly cardinals having the same theory as $V_\kappa$.

Proof. Assume $\kappa$ is totally otherworldly, let $T$ be the theory of $V_\kappa$, and consider any $\alpha<\kappa$. Since there is an otherworldly cardinal above $\alpha$ with theory $T$, namely $\kappa$, and because this is a $\Sigma_2$ fact about $\alpha$ and $T$, it follows that there must be such a cardinal above $\alpha$ inside $V_\kappa$. So $\kappa$ is a limit of otherworldly cardinals with the same theory as $V_\kappa$. $\Box$

The results above show that the consistency strength of the hypotheses are ordered as follows, with strict increases in consistency strength as you go up (assuming consistency):

  • ZFC + there is an inaccessible cardinal
  • ZFC + there is a proper class of totally otherworldly cardinals
  • ZFC + there is a totally otherworldly cardinal
  • ZFC + there is a proper class of otherworldly cardinals
  • ZFC + there is an otherworldly cardinal
  • ZFC + there is a proper class of worldly cardinals
  • ZFC + there is a worldly cardinal
  • ZFC + there is a transitive model of ZFC
  • ZFC + Con(ZFC)
  • ZFC

We might consider the natural strengthenings of otherworldliness, where one wants $V_\kappa\prec V_\lambda$ where $\lambda$ is itself otherworldly. That is, $\kappa$ is the beginning of an elementary chain of three models, not just two. This is different from having merely that $V_\kappa\prec V_\lambda$ and $V_\kappa\prec V_\eta$ for some $\eta>\lambda$, because perhaps $V_\lambda$ is not elementary in $V_\eta$, even though $V_\kappa$ is. Extending successively is a more demanding requirement.

One then naturally wants longer and longer chains, and ultimately we find ourselves considering various notions of rank in the rank elementary forest, which is the relation $\kappa\preceq\lambda\iff V_\kappa\prec V_\lambda$. The otherworldly cardinals are simply the non-maximal nodes in this order, while it will be interesting to consider the nodes that can be extended to longer elementary chains.

Modal model theory as mathematical potentialism, Oslo online Potentialism Workshop, September 2020

This will be a talk for the Oslo potentialism workshop, Varieties of Potentialism, to be held online via Zoom on 23 September 2020, from noon to 18:40 CEST (11am to 17:40 UK time). My talk is scheduled for 13:10 CEST (12:10 UK time). Further details about access and registration are availavle on the conference web page.

Abstract. I shall introduce and describe the subject of modal model theory, in which one studies a mathematical structure within a class of similar structures under an extension concept, giving rise to mathematically natural notions of possibility and necessity, a form of mathematical potentialism. We study the class of all graphs, or all groups, all fields, all orders, or what have you; a natural case is the class $\text{Mod}(T)$ of all models of a fixed first-order theory $T$. In this talk, I shall describe some of the resulting elementary theory, such as the fact that the $\mathcal{L}$ theory of a structure determines a robust fragment of its modal theory, but not all of it. The class of graphs illustrates the remarkable power of the modal vocabulary, for the modal language of graph theory can express connectedness, colorability, finiteness, countability, size continuum, size $\aleph_1$, $\aleph_2$, $\aleph_\omega$, $\beth_\omega$, first $\beth$-fixed point, first $\beth$-hyper-fixed-point and much more. When augmented with the actuality operator @, modal graph theory becomes fully bi-interpretable with truth in the set-theoretic universe. This is joint work with Wojciech Wołoszyn.

Corey Bacal Switzer, PhD 2020, CUNY Graduate Center

Dr. Corey Bacal Switzer successfully defended his PhD dissertation, entitled “Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH,” on 31 July 2020, for the degree of PhD from The Graduate Center of the City University of New York. The dissertation was supervised jointly by myself and Gunter Fuchs.

Corey has now accepted a three-year post-doctoral research position at the University of Vienna, where he will be working with Vera Fischer.

Corey Bacal Switzer | | Google scholar | dissertation

Abstract. This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are four largely independent chapters, the first two of which consider alternative versions of the Cichoń diagram and the latter two consider forcing axioms compatible with CH . In the first chapter, I begin by introducing the notion of a reduction concept , generalizing various notions of reduction in the literature and show that for each such reduction there is a Cichoń diagram for effective cardinal characteristics relativized to that reduction. As an application I investigate in detail the Cichoń diagram for degrees of constructibility relative to a fixed inner model $W\models\text{ZFC}$.

In the second chapter, I study the space of functions $f:\omega^\omega\to\omega^\omega$ and introduce 18 new higher cardinal characteristics associated with this space. I prove that these can be organized into two diagrams of 6 and 12 cardinals respecitvely analogous to the Cichoń diagram on $\omega$. I then investigate their relation to cardinal invariants on ω and introduce several new forcing notions for proving consistent separations between the cardinals. The third chapter concerns Jensen’s subcomplete and subproper forcing. I generalize these notions to the (seemingly) larger classes of ∞-subcomplete and ∞-subproper. I show that both classes are (apparently) much more nicely behaved structurally than their non-∞-counterparts and iteration theorems are proved for both classes using Miyamoto’s nice iterations. Several preservation theorems are then presented. This includes the preservation of Souslin trees, the Sacks property, the Laver property, the property of being $\omega^\omega$-bounding and the property of not adding branches to a given $\omega_1$-tree along nice iterations of ∞-subproper forcing notions. As an application of these methods I produce many new models of the subcomplete forcing axiom, proving that it is consistent with a wide variety of behaviors on the reals and at the level of $\omega_1$.

The final chapter contrasts the flexibility of SCFA with Shelah’s dee-complete forcing and its associated axiom DCFA . Extending a well known result of Shelah, I show that if a tree of height $\omega_1$ with no branch can be embedded into an $\omega_1$-tree, possibly with branches, then it can be specialized without adding reals. As a consequence I show that DCFA implies there are no Kurepa trees, even if CH fails.

Choiceless large cardinals and set-theoretic potentialism

[bibtex key=”CutoloHamkins:Choiceless-large-cardinals-and-set-theoretic-potentialism”]

Abstract. We define a potentialist system of ZF-structures, that is, a collection of possible worlds in the language of ZF connected by a binary accessibility relation, achieving a potentialist account of the full background set-theoretic universe $V$. The definition involves Berkeley cardinals, the strongest known large cardinal axioms, inconsistent with the Axiom of Choice. In fact, as background theory we assume just ZF. It turns out that the propositional modal assertions which are valid at every world of our system are exactly those in the modal theory S4.2. Moreover, we characterize the worlds satisfying the potentialist maximality principle, and thus the modal theory S5, both for assertions in the language of ZF and for assertions in the full potentialist language.

Forcing as a computational process

[bibtex key=”HamkinsMillerWilliams:Forcing-as-a-computational-process”]

Abstract. We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory $\langle M,\in^M\rangle$, we explain senses in which one may compute $M$-generic filters $G\subseteq\mathbb{P}\in M$ and the corresponding forcing extensions $M[G]$. Specifically, from the atomic diagram one may compute $G$, from the $\Delta_0$-diagram one may compute $M[G]$ and its $\Delta_0$-diagram, and from the elementary diagram one may compute the elementary diagram of $M[G]$. We also examine the information necessary to make the process functorial, and conclude that in the general case, no such computational process will be functorial. For any such process, it will always be possible to have different isomorphic presentations of a model of set theory $M$ that lead to different non-isomorphic forcing extensions $M[G]$. Indeed, there is no Borel function providing generic filters that is functorial in this sense.

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

My view of Univ

Appearing in The Martlet, Issue 11, Spring 2020, University College, Oxford.

My view of Univ

“I came to Oxford last year, leaving an established career in New York, and found a welcoming new home, an ideal environment for research and intellectual stimulation. Through the big wooden door to the Main Quad, I enter the College each day to find fascinating new conversations with historians, classicists, geologists, political scientists, medical scientists, mathematicians, philosophers, artists and even Egyptologists. What a life! I take on Oxford like a fine wool coat, enveloping me, suiting me perfectly.”

Professor Joel David Hamkins, Sir Peter Strawson Fellow in Philosophy at Univ and Professor of Logic at Oxford