François G. Dorais

Research in Logic and Foundations of Mathematics

Arithmetical consequences of the set-theoretic multiverse

In (Hamkins 2012), Joel David Hamkins proposed a set of axioms for the set-theoretic multiverse. Several of these axioms reflect the typical world many set theorists live in, namely that generic extensions, inner models and the like are all legitimate universes. Some set theorists prefer the universe perspective where one such universe is singled out as more legitimate than others and other set theorists prefer to think that any universe is as legitimate as any other. Hamkins is of the latter view and, in many ways, his view is even radically opposed to the universe perspective. Indeed, some of Hamkins’s axioms take the form of “mirages” that gradually eliminate the possibility of singling out a preferred universe. These can be formulated as follows.1

Uncountability Mirage
Every universe is countable from the perspective of a larger universe.
Undefinability Mirage
Every universe is constructible from the perspective of a larger universe.
Wellfoundedness Mirage
Every universe is not wellfounded from the perspective of a larger universe.
Finiteness Mirage
Every universe has a nonstandard from the perspective of a larger universe.

The Undefinability Mirage is a fascinating axiom that I hope to talk about in the near future but it does not directly contradict the universe perspective. The Uncountability Mirage is startling but it isn’t earth-shattering on its own. However, the last two mirages are fundamentally incompatible with the universe perspective. The Finiteness Mirage — which actually implies the Wellfoundedness Mirage — is especially striking since it asserts that no universe understands true finiteness. This is a chilling thought for most mathematicians, even those who do not espouse the classical universe view. After reading Hamkins’s account, I wondered what kind of arithmetical consequences the multiverse axioms have. This is an important question since an arithmetical disagreement between the multiverse view and the universe view would make the divide much more than a different perspective.

To answer this question, let’s step outside the multiverse and take a divine perspective where we understand true finiteness. From this divine perspective, we will analyze the multiverse and see what we could possibly infer from these mirages. We will first reverse engineer the key ingredients in the consistency proof of Gitman and Hamkins (2010) and then rebuild the multiverse with minimal assumptions on our divine understanding. From this process, we will then see that the true consequences of the multiverse view cannot exceed these minimal assumptions. In order to carry this out, we will need to make a some additional assumptions how the multiverse relates to our divine world. The first of these is that while no individual universe understands true finiteness, they collectively do understand true finiteness.

Divine Finiteness
Every truly nonstandard finite ordinal in some universe is nonstandard in some larger universe.

We will see later that this assumption is not as stringent as it may seem.

Henceforth, the truly finite ordinals of a universe will be denoted while the internally finite ordinals of will be denoted . The Finiteness Mirage says that is always a proper initial segment of . Since the truly finite ordinals in any two universes are canonically isomorphic, there is no need for a different symbol for each universe and we will handle them as if these were all the same. The standard system of a universe is the collection

This collection of subsets of is always a Scott set:

The second additional assumption we will make is that these standard systems exhaust all subsets of .

Divine Comprehension
Every truly finite collection of subsets of is contained in the standard system of some universe.

Thus the divine subsets of also form a Scott set.

Following the analysis of (Gitman–Hamkins 2010), we will now show that these standard systems are very strong invariants for universes. Let us say that two universes and are compatible if they are both elements of the same larger universe.

Compatibility Lemma. Any two compatible universes have the same standard system.

Proof. It is enough to show that if a universe is an element of another universe then . First, note that is isomorphic to an initial segment of which is closed under addition, multiplication, exponentiation, etc. Without loss of generality, we may assume that . Let be a nonstandard element of . Every element of and is coded by a subset of which is in turn coded by the binary digits of some . The binary digits of such are the same whether computed in or in , thus . QED

Saturation Lemma. Every universe is -saturated.

Proof. Let be a universe containing as an element. Suppose for some . Without loss of generality, we may further assume that . Let denote the -th formula in the standard enumeration of all formulas with free variables among . Note that is a standard formula for each but makes sense in even for nonstandard . Since is an element of , the set

exists in . If the true type is truly finitely realizable in , then . By overspill, there must be a nonstandard , which means that there is some such that for all since . QED

Isomorphism Lemma. Any two compatible universes that satisfy the same theory are isomorphic in some larger universe.

Proof. Suppose and are compatible universes. By the Uncountability Mirage, we may assume that and are both countable elements of some larger universes . Moving to a still larger universe, we may assume that (i.e. that and have the same standard system as computed in ). By the Divine Finiteness assumption, we may also assume that and satisfy the same theory as computed in .3 From the Saturation Lemma in , we see that and are countable structures that realize exactly the same types and we can build an isomorphism between them using the back & forth method. QED

From these lemmas, we get a very nice picture of the multiverse. The multiverse is divided into trunks within which all universes have the same standard system. Different trunks are incompatible and each forms a multiverse on its own. Within a trunk, models are categorized by their theories.

Hamkins (2012) is deliberately vague regarding what axioms universes need to satisfy. Whatever these axioms are, they should be enough to make sense of the multiverse axioms and the arguments above. For our purposes, let’s assume these axioms form a recursively axiomatizable theory .

Theorem (Gitman–Hamkins 2010). If is a countable Scott set then the class of all countable -saturated models of with standard system satisfies the multiverse axioms if and only if this class is nonempty.

Moreover, with our two additional assumptions, every multiverse trunk consisting of truly countable models is precisely of this form.4

What are the minimal assumptions on our divine world that suffice to carry out all of the above?

This is the weakest subsystem of second-order arithmetic that proves that for every subset of there is a countable -recursively saturated model of . The multiverse then consists of an essentially arbitrary collection of trunks from the collection of all recursively saturated models of in this divine world.5 Therefore, we conclude that the multiverse axioms are conservative over for true second-order arithmetic. Hence, the purely arithmetical consequences of the multiverse axioms are limited to , the first-order part of .

The universe view is also plausible assuming since that is enough to show that has a model. However, the universe view also assumes that the universe is a standard model of : the finite ordinals in the universe are truly finite and all the sets in the universe are truly wellfounded. If one thinks of this as a requirement on the universe imposed by the divine world, then these are stronger assumptions than . For example, all of the arithmetical consequences of must be true. However, if we view things the other way around and think that the universe is imposing these requirements on the divine world, then these are potentially weaker assumptions. For example, the universe could satisfy . Needless to say that the latter position is difficult to justify ontologically.

Personally, I find the multiverse picture much clearer since is much easier to understand than the murkier picture that arises from the universe view. In any case, we can conclude that there are no essential incompatibilities between the two points of view so the choice is yours:

Do you prefer the universe or the multiverse?


  1. V. Gitman, J. D. Hamkins, 2010: A natural model of the multiverse axioms, Notre Dame Journal of Formal Logic 51, 475–484.

  2. J. D. Hamkins, 2012: The set-theoretic multiverse, Review of Symbolic Logic 5, 416–449.

  1. These designations differ from (Hamkins 2012) since I wanted to use the emphasize how each one opposes the universe perspective. Hamkins refers to the Uncountability Mirage as the Countability Principle and to the Undefinability Mirage as Absorption into L. The Finiteness Mirage is not present in (Hamkins 2012) but the Wellfoundedness Mirage takes this stronger form in (Gitman–Hamkins 2010). 

  2. Any primitive recursive coding will do. For example, every binary sequence of length can be coded by the number and a binary tree can then be coded by the set . A path through is then a set such that for every  

  3. Although and are truly elementarily equivalent, they may not be elementarily equivalent in . However, the first Gödel number in of a sentence where and disagree must be nonstandard. By the Divine Finiteness assumption, there is a larger universe that recognizes that this is a nonstandard Gödel number and in the two models and do satisfy the same theory. 

  4. More possibilities arise if we remove the Divine Finiteness assumption. For example, assuming , the class of all countable recursively saturated models of satisfies the multiverse axioms but not Divine Finiteness. 

  5. We only need to make sure that every subset of in our divine world is contained in the standard system of a selected trunk in order to satisfy the Divine Comprehension assumption. 

CC0 Originally posted on by François G. Dorais. To the extent possible under law, François G. Dorais has waived all copyright and neigboring rights to this work.