# A question in set-theoretic geology: if $M[G][K]=M[H][K],$ then can we conlude $M[G]=M[H]$?

I was recently asked this interesting question on set-theoretic geology by Iian Smythe, a set-theory post-doc at Rutgers University; the problem arose in the context of one of this current research projects.

Question. Assume that two product forcing extensions are the same $$M[G][K]=M[H][K],$$ where $M[G]$ and $M[H]$ are forcing extensions of $M$ by the same forcing notion $\mathbb{P}$, and $K\subset\mathbb{Q}\in M$ is both $M[G]$ and $M[H]$-generic with respect to this further forcing $\mathbb{Q}$.  Can we conclude that $$M[G]=M[H]\ ?$$ Can we make this conclusion at least in the special case that $\mathbb{P}$ is adding a Cohen real and $\mathbb{Q}$ is collapsing the continuum? It seems natural to hope for a positive answer, because we are aware of many such situations that arise with forcing, where indeed $M[G]=M[H]$. Nevertheless, the answer is negative. Indeed, we cannot legitimately make this conclusion even when both steps of forcing are adding merely a Cohen real. And such a counterexample implies that there is a counterexample of the type mentioned in the question, simply by performing further collapse forcing.

Theorem. For any countable model $M$ of set theory, there are $M$-generic Cohen reals $c$, $d$ and $e$, such that

1. The Cohen reals $c$ and $e$ are mutually generic over $M$.
2. The Cohen reals $d$ and $e$ are mutually generic over $M$.
3. These two pairs produce the same forcing extension $M[c][e]=M[d][e]$.
4. But  the intermediate models are different $M[c]\neq M[d]$.

Proof. Fix $M$, and let $c$ and $e$ be any two mutually generic Cohen reals over $M$. Let us view them as infinite binary sequences, that is, as elements of Cantor space. In the extension $M[c][e]$, let $d=c+e \mod 2$, in each coordinate. That is, we get $d$ from $c$ by flipping bits, but only on coordinates that are $1$ in $e$. This is the same as applying a bit-flipping automorphism of the forcing, which is available in $M[e]$, but not in $M$. Since $c$ is $M[e]$-generic by reversing the order of forcing, it follows that $d$ also is $M[e]$-generic, since the automorphism is in $M[e]$. Thus, $d$ and $e$ are mutually generic over $M$. Further, $M[c][e]=M[d][e]$, because $M[e][c]=M[e][d]$, as $c$ and $d$ were isomorphic generic filters by an isomorphism in $M[e]$. But finally, $M[c]$ and $M[d]$ are not the same, because from $c$ and $d$ together we can construct $e$, because we can tell exactly which bits were flipped. $\Box$

If one now follows the $e$ forcing with collapse forcing, one achieves a counterexample model of the type mentioned in the question, namely, with $M[c][e*K]=M[d][e*K]$, but $M[c]\neq M[d]$.

I have a feeling that my co-authors on a current paper in progress, Set-theoretic blockchains, on the topic of non-amalgamation in the generic multiverse, will tell me that the argument above is an instance of some of the theorems we prove in the latter part of that paper. (Miha, please tell me in the comments, if you see this, or tell me where I have seen this argument before; I think I made this argument or perhaps seen it before.) The paper is

• M. E. Habič, J. D. Hamkins, L. D. Klausner, J. Verner, and K. J. Williams, “Set-theoretic blockchains,” Archive for Mathematical Logic, 2019.
[Bibtex]
@ARTICLE{HabicHamkinsKlausnerVernerWilliams2018:Set-theoretic-blockchains,
author = {Miha E. Habič and Joel David Hamkins and Lukas Daniel Klausner and Jonathan Verner and Kameryn J. Williams},
title = {Set-theoretic blockchains},
journal="Archive for Mathematical Logic",
year="2019",
month="Mar",
day="26",
abstract="Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs.",
issn="1432-0665",
doi="10.1007/s00153-019-00672-z",
note = {},
abstract = {},
eprint = {1808.01509},
archivePrefix = {arXiv},
primaryClass = {math.LO},
keywords = {},
source = {},
url = {http://wp.me/p5M0LV-1M8},
}

.

# The inner-model and ground-model reflection principles, CUNY Set Theory seminar, September 2017

This will be a talk for the CUNY Set Theory seminar on September 1, 2017, 10 am. GC 6417. Abstract.  The inner model reflection principle asserts that whenever a statement $\varphi(a)$ in the first-order language of set theory is true in the set-theoretic universe $V$, then it is also true in a proper inner model $W\subsetneq V$. A stronger principle, the ground-model reflection principle, asserts that any such $\varphi(a)$ true in $V$ is also true in some nontrivial ground model of the universe with respect to set forcing. Both of these principles, expressing a form of width-reflection in constrast to the usual height-reflection, are equiconsistent with ZFC and an outright consequence of the existence of sufficient large cardinals, as well as a consequence (in lightface form) of the maximality principle and also of the inner-model hypothesis.  This is joint work with Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, myself and Jonas Reitz.

# Set-theoretic geology and the downward directed grounds hypothesis, Bonn, January 2017

This will be a talk for the University of Bonn Logic Seminar, Friday, January 13, 2017, at the Hausdorff Center for Mathematics. Abstract. Set-theoretic geology is the study of the set-theoretic universe $V$ in the context of all its ground models and those of its forcing extensions. For example, a bedrock of the universe is a minimal ground model of it and the mantle is the intersection of all grounds. In this talk, I shall explain some recent advances, including especially the breakthrough result of Toshimichi Usuba, who proved the strong downward directed grounds hypothesis: for any set-indexed family of grounds, there is a deeper common ground below them all. This settles a large number of formerly open questions in set-theoretic geology, while also leading to new questions. It follows, for example, that the mantle is a model of ZFC and provably the largest forcing-invariant definable class. Strong downward directedness has also led to an unexpected connection between large cardinals and forcing: if there is a hyper-huge cardinal $\kappa$, then the universe indeed has a bedrock and all grounds use only $\kappa$-small forcing.

Slides

# Recent advances in set-theoretic geology, Harvard Logic Colloquium, October 2016

I will speak at the Harvard Logic Colloquium, October 20, 2016, 4-6 pm. Abstract. Set-theoretic geology is the study of the set-theoretic universe $V$ in the context of all its ground models and those of its forcing extensions. For example, a bedrock of the universe is a minimal ground model of it and the mantle is the intersection of all grounds. In this talk, I shall explain some recent advances, including especially the breakthrough result of Toshimichi Usuba, who proved the strong downward directed grounds hypothesis: for any set-indexed family of grounds, there is a deeper common ground below them all. This settles a large number of formerly open questions in set-theoretic geology, while also leading to new questions. It follows, for example, that the mantle is a model of ZFC and provably the largest forcing-invariant definable class. Strong downward directedness has also led to an unexpected connection between large cardinals and forcing: if there is a hyper-huge cardinal $\kappa$, then the universe indeed has a bedrock and all grounds use only $\kappa$-small forcing.

Slides

# Set-theoretic geology and the downward-directed grounds hypothesis, CUNY Set Theory seminar, September 2016

This will be a talk for the CUNY Set Theory Seminar, September 2 and 9, 2016. In two talks, I shall give a complete detailed account of Toshimichi Usuba’s recent proof of the strong downward-directed grounds hypothesis.  This breakthrough result answers what had been for ten years the central open question in the area of set-theoretic geology and leads immediately to numerous consequences that settle many other open questions in the area, as well as to a sharpening of some of the central concepts of set-theoretic geology, such as the fact that the mantle coincides with the generic mantle and is a model of ZFC.

Although forcing is often viewed as a method of constructing larger models extending a given model of set theory, the topic of set-theoretic geology inverts this perspective by investigating how the current set-theoretic universe $V$ might itself have arisen as a forcing extension of an inner model.  Thus, an inner model $W\subset V$ is a ground of $V$ if we can realize $V=W[G]$ as a forcing extension of $W$ by some $W$-generic filter $G\subset\mathbb{Q}\in W$.  It is a consequence of the ground-model definability theorem that every such $W$ is definable from parameters, and from this it follows that many second-order-seeming questions about the structure of grounds turn out to be first-order expressible in the language of set theory.

For example, Reitz had inquired in his dissertation whether any two grounds of $V$ must have a common deeper ground. Fuchs, myself and Reitz introduced the downward-directed grounds hypothesis DDG and the strong DDG, which asserts a positive answer, even for any set-indexed collection of grounds, and we showed that this axiom has many interesting consequences for set-theoretic geology.

Last year, Usuba proved the strong DDG, and I shall give a complete account of the proof, with some simplifications I had noticed. I shall also present Usuba’s related result that if there is a hyper-huge cardinal, then there is a bedrock model, a smallest ground. I find this to be a surprising and incredible result, as it shows that large cardinal existence axioms have consequences on the structure of grounds for the universe.

Among the consequences of Usuba’s result I shall prove are:

1. Bedrock models are unique when they exist.
2. The mantle is absolute by forcing.
3. The mantle is a model of ZFC.
4. The mantle is the same as the generic mantle.
5. The mantle is the largest forcing-invariant class, and equal to the intersection of the generic multiverse.
6. The inclusion relation agrees with the ground-of relation in the generic multiverse. That is, if $N\subset M$ are in the same generic multiverse, then $N$ is a ground of $M$.
7. If ZFC is consistent, then the ZFC-provably valid downward principles of forcing are exactly S4.2.
8. (Usuba) If there is a hyper-huge cardinal, then there is a bedrock for the universe.

Related topics in set-theoretic geology:

# Pluralism-inspired mathematics, including a recent breakthrough in set-theoretic geology, Set-theoretic Pluralism Symposium, Aberdeen, July 2016

Set-theoretic Pluralism, Symposium I, July 12-17, 2016, at the University of Aberdeen.  My talk will be the final talk of the conference. Abstract. I shall discuss several bits of pluralism-inspired mathematics, including especially an account of Toshimichi Usuba’s recent proof of the strong downward-directed grounds DDG hypothesis, which asserts that the collection of ground models of the set-theoretic universe is downward directed. This breakthrough settles several of what were the main open questions of set-theoretic geology. It implies, for example, that the mantle is a model of ZFC and is identical to the generic mantle and that it is therefore the largest forcing-invariant class. Usuba’s analysis also happens to show that the existence of certain very large cardinals outright implies that there is a smallest ground model of the universe, an unexpected connection between large cardinals and forcing. In addition to these results, I shall present several other instances of pluralism-inspired mathematics, including a few elementary but surprising results that I hope will be entertaining.

# Jacob Davis, PhD 2016, Carnegie Mellon University

Jacob Davis successfully defended his dissertation, “Universal Graphs at $\aleph_{\omega_1+1}$ and Set-theoretic Geology,” at Carnegie Mellon University on April 29, 2016, under the supervision of James Cummings. I was on the dissertation committee (participating via Google Hangouts), along with Ernest Schimmerling and Clinton Conley. The thesis consisted of two main parts. In the first half, starting from a model of ZFC with a supercompact cardinal, Jacob constructed a model in which $2^{\aleph_{\omega_1}} = 2^{\aleph_{\omega_1+1}} = \aleph_{\omega_1+3}$ and in which there is a jointly universal family of size $\aleph_{\omega_1+2}$ of graphs on $\aleph_{\omega_1+1}$.  The same technique works with any uncountable cardinal in place of $\omega_1$.  In the second half, Jacob proved a variety of results in the area of set-theoretic geology, including several instances of the downward directed grounds hypothesis, including an analysis of the chain condition of the resulting ground models.

# Upward closure in the generic multiverse of a countable model of set theory, RIMS 2015, Kyoto, Japan This will be a talk for the conference Recent Developments in Axiomatic Set Theory at the Research Institute for Mathematical Sciences (RIMS) in Kyoto, Japan, September 16-18, 2015.

Abstract. Consider a countable model of set theory amongst its forcing extensions, the ground models of those extensions, the extensions of those models and so on, closing under the operations of forcing extension and ground model.  This collection is known as the generic multiverse of the original model.  I shall present a number of upward-oriented closure results in this context. For example, for a long-known negative result, it is a fun exercise to construct forcing extensions $M[c]$ and $M[d]$ of a given countable model of set theory $M$, each by adding an $M$-generic Cohen real, which cannot be amalgamated, in the sense that there is no common extension model $N$ that contains both $M[c]$ and $M[d]$ and has the same ordinals as $M$. On the positive side, however, any increasing sequence of extensions $M[G_0]\subset M[G_1]\subset M[G_2]\subset\cdots$, by forcing of uniformly bounded size in $M$, has an upper bound in a single forcing extension $M[G]$. (Note that one cannot generally have the sequence $\langle G_n\mid n<\omega\rangle$ in $M[G]$, so a naive approach to this will fail.)  I shall discuss these and related results, many of which appear in the “brief upward glance” section of my recent paper:  G. Fuchs, J. D. Hamkins and J. Reitz, Set-theoretic geology.

# Upward closure in the toy multiverse of all countable models of set theory The toy multiverse of all countable models of set theory is upward closed under countably many successive forcing extensions of bounded size…

I’d like to explain a topic from my recent paper

G. Fuchs, J. D. Hamkins, J. ReitzSet-theoretic geology, to appear in the Annals of Pure and Applied Logic.

We just recently made the final revisions, and the paper is available if you follow the title link through to the arxiv. Most of the geology article proceeds from a downward-oriented focus on forcing, looking from a universe $V$ down to its grounds, the inner models $W$ over which $V$ might have arisen by forcing $V=W[G]$. Thus, the set-theoretic geology project arrives at deeper and deeper grounds and the mantle and inner mantle concepts.

One section of the paper, however, has an upward-oriented focus, namely, $\S2$ A brief upward glance, and it is that material about which I’d like to write here, because I find it to be both interesting and comparatively accessible, but also because the topic proceeds from a different perspective than the rest of the geology paper, and so I am a little fearful that it may get lost there.

First is the observation that I first heard from W. Hugh Woodin in the early 1990s.

$\newcommand\P{\mathbb{P}}\newcommand\Q{\mathbb{Q}}\newcommand\R{\mathbb{R}}\newcommand\of{\subset}\newcommand\cross{\times}$

Observation. If $W$ is a countable model of ZFC set theory, then there are forcing extensions $W[c]$ and $W[d]$, both obtained by adding a Cohen real, which are non-amalgamable in the sense that there can be no model of ZFC with the same ordinals as $W$ containing both $W[c]$ and $W[d]$. Thus, the family of forcing extensions of $W$ is not upward directed.

Proof. Since $W$ is countable, let $z$ be a real coding the entirety of $W$. Enumerate the dense subsets $\langle D_n\mid n<\omega\rangle$ of the Cohen forcing $\text{Add}(\omega,1)$ in $W$. We construct $c$ and $d$ in stages. We begin by letting $c_0$ be any element of $D_0$. Let $d_0$ consist of exactly as many $0$s as $|c_0|$, followed by a $1$, followed by $z(0)$, and then extended to an element of $D_0$. Continuing, $c_{n+1}$ extends $c_n$ by adding $0$s until the length of $d_n$, and then a $1$, and then extending into $D_{n+1}$; and $d_{n+1}$ extends $d_n$ by adding $0$s to the length of $c_{n+1}$, then a $1$, then $z(n)$, then extending into $D_{n+1}$. Let $c=\bigcup c_n$ and $d=\bigcup d_n$. Since we met all the dense sets in $W$, we know that $c$ and $d$ are $W$-generic Cohen reals, and so we may form the forcing extensions $W[c]$ and $W[d]$. But if $W\subset U\models\text{ZFC}$ and both $c$ and $d$ are in $U$, then in $U$ we may reconstruct the map $n\mapsto\langle c_n,d_n\rangle$, by giving attention to the blocks of $0$s in $c$ and $d$. From this map, we may reconstruct $z$ in $U$, which reveals all the ordinals of $W$ to be countable, a contradiction if $U$ and $W$ have the same ordinals. QED

Most of the results here concern forcing extensions of an arbitrary countable model of set theory, which of course includes the case of ill-founded models. Although there is no problem with forcing extensions of ill-founded models, when properly carried out, the reader may prefer to focus on the case of countable transitive models for the results in this section, and such a perspective will lose very little of the point of our observations.

The method of the observation above is easily generalized to produce three $W$-generic Cohen reals $c_0$, $c_1$ and $c_2$, such that any two of them can be amalgamated, but the three of them cannot. More generally:

Observation. If $W$ is a countable model of ZFC set theory, then for any finite $n$ there are $W$-generic Cohen reals $c_0,c_1,\ldots,c_{n-1}$, such that any proper subset of them are mutually $W$-generic, so that one may form the generic extension $W[\vec c]$, provided that $\vec c$ omits at least one $c_i$, but there is no forcing extension $W[G]$ simultaneously extending all $W[c_i]$ for $i<n$. In particular, the sequence $\langle c_0,c_1,\ldots,c_{n-1}\rangle$ cannot be added by forcing over $W$.

Let us turn now to infinite linearly ordered sequences of forcing extensions. We show first in the next theorem and subsequent observation that one mustn’t ask for too much; but nevertheless, after that we shall prove the surprising positive result, that any increasing sequence of forcing extensions over a countable model $W$, with forcing of uniformly bounded size, is bounded above by a single forcing extension $W[G]$.

Theorem. If $W$ is a countable model of ZFC, then there is an increasing sequence of set-forcing extensions of $W$ having no upper bound in the generic multiverse of $W$. $$W[G_0]\of W[G_1]\of\cdots\of W[G_n]\of\cdots$$

Proof. Since $W$ is countable, there is an increasing sequence $\langle\gamma_n\mid n<\omega\rangle$ of ordinals that is cofinal in the ordinals of $W$. Let $G_n$ be $W$-generic for the collapse forcing $\text{Coll}(\omega,\gamma_n)$, as defined in $W$. (By absorbing the smaller forcing, we may arrange that $W[G_n]$ contains $G_m$ for $m<n$.) Since every ordinal of $W$ is eventually collapsed, there can be no set-forcing extension of $W$, and indeed, no model with the same ordinals as $W$, that contains every $W[G_n]$. QED

But that was cheating, of course, since the sequence of forcing notions is not even definable in $W$, as the class $\{\gamma_n\mid n<\omega\}$ is not a class of $W$. A more intriguing question would be whether this phenomenon can occur with forcing notions that constitute a set in $W$, or (equivalently, actually) whether it can occur using always the same poset in $W$. For example, if $W[c_0]\of W[c_0][c_1]\of W[c_0][c_1][c_2]\of\cdots$ is an increasing sequence of generic extensions of $W$ by adding Cohen reals, then does it follow that there is a set-forcing extension $W[G]$ of $W$ with $W[c_0]\cdots[c_n]\of W[G]$ for every $n$? For this, we begin by showing that one mustn’t ask for too much:

Observation. If $W$ is a countable model of ZFC, then there is a sequence of forcing extensions $W\of W[c_0]\of W[c_0][c_1]\of W[c_0][c_1][c_2]\of\cdots$, adding a Cohen real at each step, such that there is no forcing extension of $W$ containing the sequence $\langle c_n\mid n<\omega\rangle$.

Proof. Let $\langle d_n\mid n<\omega\rangle$ be any $W$-generic sequence for the forcing to add $\omega$ many Cohen reals over $W$. Let $z$ be any real coding the ordinals of $W$. Let us view these reals as infinite binary sequences. Define the real $c_n$ to agree with $d_n$ on all digits except the initial digit, and set $c_n(0)=z(n)$. That is, we make a single-bit change to each $d_n$, so as to code one additional bit of $z$. Since we have made only finitely many changes to each $d_n$, it follows that $c_n$ is an $W$-generic Cohen real, and also $W[c_0]\cdots[c_n]=W[d_0]\cdots [d_n]$. Thus, we have $$W\of W[c_0]\of W[c_0][c_1]\of W[c_0][c_1][c_2]\of\cdots,$$ adding a generic Cohen real at each step. But there can be no forcing extension of $W$ containing $\langle c_n\mid n<\omega\rangle$, since any such extension would have the real $z$, revealing all the ordinals of $W$ to be countable. QED

We can modify the construction to allow $z$ to be $W$-generic, but collapsing some cardinals of $W$. For example, for any cardinal $\delta$ of $W$, we could let $z$ be $W$-generic for the collapse of $\delta$. Then, if we construct the sequence $\langle c_n\mid n<\omega\rangle$ as above, but inside $W[z]$, we get a sequence of Cohen real extensions $$W\of W[c_0]\of W[c_0][c_1]\of W[c_0][c_1][c_2]\of\cdots$$ such that $W[\langle c_n\mid n<\omega\rangle]=W[z]$, which collapses $\delta$.

But of course, the question of whether the models $W[c_0][c_1]\cdots[c_n]$ have an upper bound is not the same question as whether one can add the sequence $\langle c_n\mid n<\omega\rangle$, since an upper bound may not have this sequence. And in fact, this is exactly what occurs, and we have a surprising positive result:

Theorem. Suppose that $W$ is a countable model of \ZFC, and $$W[G_0]\of W[G_1]\of\cdots\of W[G_n]\of\cdots$$ is an increasing sequence of forcing extensions of $W$, with $G_n\of\Q_n\in W$ being $W$-generic. If the cardinalities of the $\Q_n$’s in $W$ are bounded in $W$, then there is a set-forcing extension $W[G]$ with $W[G_n]\of W[G]$ for all $n<\omega$.

Proof. Let us first make the argument in the special case that we have $$W\of W[g_0]\of W[g_0][g_1]\of\cdots\of W[g_0][g_1]\cdots[g_n]\of\cdots,$$ where each $g_n$ is generic over the prior model for forcing $\Q_n\in W$. That is, each extension $W[g_0][g_1]\cdots[g_n]$ is obtained by product forcing $\Q_0\cross\cdots\cross\Q_n$ over $W$, and the $g_n$ are mutually $W$-generic. Let $\delta$ be a regular cardinal with each $\Q_n$ having size at most $\delta$, built with underlying set a subset of $\delta$. In $W$, let $\theta=2^\delta$, let $\langle \R_\alpha\mid\alpha<\theta\rangle$ enumerate all posets of size at most $\delta$, with unbounded repetition, and let $\P=\prod_{\alpha<\theta}\R_\alpha$ be the finite-support product of these posets. Since each factor is $\delta^+$-c.c., it follows that the product is $\delta^+$-c.c. Since $W$ is countable, we may build a filter $H\of\P$ that is $W$-generic. In fact, we may find such a filter $H\of\P$ that meets every dense set in $\bigcup_{n<\omega}W[g_0][g_1]\cdots[g_n]$, since this union is also countable. In particular, $H$ and $g_0\cross\cdots\cross g_n$ are mutually $W$-generic for every $n<\omega$. The filter $H$ is determined by the filters $H_\alpha\of\R_\alpha$ that it adds at each coordinate.

Next comes the key step. Externally to $W$, we may find an increasing sequence $\langle \theta_n\mid n<\omega\rangle$ of ordinals cofinal in $\theta$, such that $\R_{\theta_n}=\Q_n$. This is possible because the posets are repeated unboundedly, and $\theta$ is countable in $V$. Let us modify the filter $H$ by surgery to produce a new filter $H^*$, by changing $H$ at the coordinates $\theta_n$ to use $g_n$ rather than $H_{\theta_n}$. That is, let $H^*_{\theta_n}=g_n$ and otherwise $H^*_\alpha=H_\alpha$, for $\alpha\notin\{\theta_n\mid n<\omega\}$. It is clear that $H^*$ is still a filter on $\P$. We claim that $H^*$ is $W$-generic. To see this, suppose that $A\of\P$ is any maximal antichain in $W$. By the $\delta^+$-chain condition and the fact that $\text{cof}(\theta)^W>\delta$, it follows that the conditions in $A$ have support bounded by some $\gamma<\theta$. Since the $\theta_n$ are increasing and cofinal in $\theta$, only finitely many of them lay below $\gamma$, and we may suppose that there is some largest $\theta_m$ below $\gamma$. Let $H^{**}$ be the filter derived from $H$ by performing the surgical modifications only on the coordinates $\theta_0,\ldots,\theta_m$. Thus, $H^*$ and $H^{**}$ agree on all coordinates below $\gamma$. By construction, we had ensured that $H$ and $g_0\cross\cdots\cross g_m$ are mutually generic over $W$ for the forcing $\P\cross\Q_0\cross\cdots\cross\Q_m$. This poset has an automorphism swapping the latter copies of $\Q_i$ with their copy at $\theta_i$ in $\P$, and this automorphism takes the $W$-generic filter $H\cross g_0\cross\cdots\cross g_m$ exactly to $H^{**}\cross H_{\theta_0}\cross\cdots \cross H_{\theta_m}$. In particular, $H^{**}$ is $W$-generic for $\P$, and so $H^{**}$ meets the maximal antichain $A$. Since $H^*$ and $H^{**}$ agree at coordinates below $\gamma$, it follows that $H^*$ also meets $A$. In summary, we have proved that $H^*$ is $W$-generic for $\P$, and so $W[H^*]$ is a set-forcing extension of $W$. By design, each $g_n$ appears at coordinate $\theta_n$ in $H^*$, and so $W[g_0]\cdots[g_n]\of W[H^*]$ for every $n<\omega$, as desired.

Finally, we reduce the general case to this special case. Suppose that $W[G_0]\of W[G_1]\of\cdots\of W[G_n]\of\cdots$ is an increasing sequence of forcing extensions of $W$, with $G_n\of\Q_n\in W$ being $W$-generic and each $\Q_n$ of size at most $\kappa$ in $W$. By the standard facts surrounding finite iterated forcing, we may view each model as a forcing extension of the previous model $$W[G_{n+1}]=W[G_n][H_n],$$ where $H_n$ is $W[G_n]$-generic for the corresponding quotient forcing $\Q_n/G_n$ in $W[G_n]$. Let $g\of\text{Coll}(\omega,\kappa)$ be $\bigcup_n W[G_n]$-generic for the collapse of $\kappa$, so that it is mutually generic with every $G_n$. Thus, we have the increasing sequence of extensions $W[g][G_0]\of W[g][G_1]\of\cdots$, where we have added $g$ to each model. Since each $\Q_n$ is countable in $W[g]$, it is forcing equivalent there to the forcing to add a Cohen real. Furthermore, the quotient forcing $\Q_n/G_n$ is also forcing equivalent in $W[g][G_n]$ to adding a Cohen real. Thus, $W[g][G_{n+1}]=W[g][G_n][H_n]=W[g][G_n][h_n]$, for some $W[g][G_n]$-generic Cohen real $h_n$. Unwrapping this recursion, we have $W[g][G_{n+1}]=W[g][G_0][h_1]\cdots[h_n]$, and consequently $$W[g]\of W[g][G_0]\of W[g][G_0][h_1]\of W[g][G_0][h_1][h_2]\of\cdots,$$ which places us into the first case of the proof, since this is now product forcing rather than iterated forcing. QED

Definition. A collection $\{W[G_n]\mid n<\omega\}$ of forcing extensions of $W$ is finitely amalgamable over $W$ if for every $n<\omega$ there is a forcing extension $W[H]$ with $W[G_m]\of W[H]$ for all $m\leq n$. It is amalgamable over $W$ if there is $W[H]$ such that $W[G_n]\of W[H]$ for all $n<\omega$.

The next corollary shows that we cannot improve the non-amalgamability result of the initial observation to the case of infinitely many Cohen reals, with all finite subsets amalgamable.

Corollary. If $W$ is a countable model of ZFC and $\{W[G_n]\mid n<\omega\}$ is a finitely amalgamable collection of forcing extensions of $W$, using forcing of bounded size in $W$, then this collection is fully amalgamable. That is, there is a forcing extension $W[H]$ with $W[G_n]\of W[H]$ for all $n<\omega$.

Proof. Since the collection is finitely amalgamable, for each $n<\omega$ there is some $W$-generic $K$ such that $W[G_m]\of W[K]$ for all $m\leq n$. Thus, we may form the minimal model $W[G_0][G_1]\cdots[G_n]$ between $W$ and $W[K]$, and thus $W[G_0][G_1]\cdots [G_n]$ is a forcing extension of $W$. We are thus in the situation of the theorem, with an increasing chain of forcing extensions. $$W\of W[G_0]\of W[G_0][G_1]\of\cdots\of W[G_0][G_1]\cdots[G_n]\of\cdots$$ Therefore, by the theorem, there is a model $W[H]$ containing all these extensions, and in particular, $W[G_n]\of W[H]$, as desired. QED

Please go to the paper for more details and discussion.

# Superstrong and other large cardinals are never Laver indestructible

• J. Bagaria, J. D. Hamkins, K. Tsaprounis, and T. Usuba, “Superstrong and other large cardinals are never Laver indestructible,” Arch. Math. Logic, vol. 55, iss. 1-2, p. 19–35, 2016.
[Bibtex]
@ARTICLE{BagariaHamkinsTsaprounisUsuba2016:SuperstrongAndOtherLargeCardinalsAreNeverLaverIndestructible,
AUTHOR = {Bagaria, Joan and Hamkins, Joel David and Tsaprounis,
Konstantinos and Usuba, Toshimichi},
TITLE = {Superstrong and other large cardinals are never {L}aver
indestructible},
JOURNAL = {Arch. Math. Logic},
FJOURNAL = {Archive for Mathematical Logic},
note = {Special volume in memory of R.~Laver},
VOLUME = {55},
YEAR = {2016},
NUMBER = {1-2},
PAGES = {19--35},
ISSN = {0933-5846},
MRCLASS = {03E55 (03E40)},
MRNUMBER = {3453577},
MRREVIEWER = {Peter Holy},
DOI = {10.1007/s00153-015-0458-3},
eprint = {1307.3486},
archivePrefix = {arXiv},
primaryClass = {math.LO},
url = {http://jdh.hamkins.org/superstrong-never-indestructible/},
}

Abstract.  Superstrong cardinals are never Laver indestructible. Similarly, almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals, $1$-extendible cardinals, $0$-extendible cardinals, weakly superstrong cardinals, uplifting cardinals, pseudo-uplifting cardinals, superstrongly unfoldable cardinals, $\Sigma_n$-reflecting cardinals, $\Sigma_n$-correct cardinals and $\Sigma_n$-extendible cardinals (all for $n\geq 3$) are never Laver indestructible. In fact, all these large cardinal properties are superdestructible: if $\kappa$ exhibits any of them, with corresponding target $\theta$, then in any forcing extension arising from nontrivial strategically ${\lt}\kappa$-closed forcing $\mathbb{Q}\in V_\theta$, the cardinal $\kappa$ will exhibit none of the large cardinal properties with target $\theta$ or larger.

The large cardinal indestructibility phenomenon, occurring when certain preparatory forcing makes a given large cardinal become necessarily preserved by any subsequent forcing from a large class of forcing notions, is pervasive in the large cardinal hierarchy. The phenomenon arose in Laver’s seminal result that any supercompact cardinal $\kappa$ can be made indestructible by ${\lt}\kappa$-directed closed forcing. It continued with the Gitik-Shelah treatment of strong cardinals; the universal indestructibility of Apter and myself, which produced simultaneous indestructibility for all weakly compact, measurable, strongly compact, supercompact cardinals and others; the lottery preparation, which applies generally to diverse large cardinals; work of Apter, Gitik and Sargsyan on indestructibility and the large-cardinal identity crises; the indestructibility of strongly unfoldable cardinals; the indestructibility of Vopenka’s principle; and diverse other treatments of large cardinal indestructibility. Based on these results, one might be tempted to the general conclusion that all the usual large cardinals can be made indestructible.

In this article, my co-authors and I temper that temptation by proving that certain kinds of large cardinals cannot be made nontrivially indestructible. Superstrong cardinals, we prove, are never Laver indestructible. Consequently, neither are almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals and $1$-extendible cardinals, to name a few. Even the $0$-extendible cardinals are never indestructible, and neither are weakly superstrong cardinals, uplifting cardinals, pseudo-uplifting cardinals, strongly uplifting cardinals, superstrongly unfoldable cardinals, $\Sigma_n$-reflecting cardinals, $\Sigma_n$-correct cardinals and $\Sigma_n$-extendible cardinals, when $n\geq 3$. In fact, all these large cardinal properties are superdestructible, in the sense that if $\kappa$ exhibits any of them, with corresponding target $\theta$, then in any forcing extension arising from nontrivial strategically ${\lt}\kappa$-closed forcing $\mathbb{Q}\in V_\theta$, the cardinal $\kappa$ will exhibit none of the large cardinal properties with target $\theta$ or larger. Many quite ordinary forcing notions, which one might otherwise have expected to fall under the scope of an indestructibility result, will definitely ruin all these large cardinal properties. For example, adding a Cohen subset to any cardinal $\kappa$ will definitely prevent it from being superstrong—as well as preventing it from being uplifting, $\Sigma_3$-correct, $\Sigma_3$-extendible and so on with all the large cardinal properties mentioned above—in the forcing extension.

Main Theorem.

1. Superstrong cardinals are never Laver indestructible.
2. Consequently, almost huge, huge, superhuge and rank-into-rank cardinals are never Laver indestructible.
3. Similarly, extendible cardinals, $1$-extendible and even $0$-extendible cardinals are never Laver indestructible.
4. Uplifting cardinals, pseudo-uplifting cardinals, weakly superstrong cardinals, superstrongly unfoldable cardinals and strongly uplifting cardinals are never Laver indestructible.
5. $\Sigma_n$-reflecting and indeed $\Sigma_n$-correct cardinals, for each finite $n\geq 3$, are never Laver indestructible.
6. Indeed—the strongest result here, because it is the weakest notion—$\Sigma_3$-extendible cardinals are never Laver indestructible.

In fact, each of these large cardinal properties is superdestructible. Namely, if $\kappa$ exhibits any of them, with corresponding target $\theta$, then in any forcing extension arising from nontrivial strategically ${\lt}\kappa$-closed forcing $\mathbb{Q}\in V_\theta$, the cardinal $\kappa$ will exhibit none of the mentioned large cardinal properties with target $\theta$ or larger.

The proof makes use of a detailed analysis of the complexity of the definition of the ground model in the forcing extension.  These results are, to my knowledge, the first applications of the ideas of set-theoretic geology not making direct references to set-theoretically geological concerns.

Theorem 10 in the article answers (the main case of) a question I had posed on MathOverflow, namely, Can a model of set theory be realized as a Cohen-subset forcing extension in two different ways, with different grounds and different cardinals?  I had been specifically interested there to know whether a cardinal $\kappa$ necessarily becomes definable after adding a Cohen subset to it, and theorem 10 shows indeed that it does:  after adding a Cohen subset to a cardinal, it becomes $\Sigma_3$-definable in the extension, and this fact can be seen as explaining the main theorem above.

# Recent progress on the modal logic of forcing and grounds, CUNY Logic Workshop, September 2012

This will be a talk for the CUNY Logic Workshop on September 7, 2012.

Abstract. The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, with “true in all forcing extensions” and“true in some forcing extension” as the accompanying modal operators. In this modal language one may easily express sweeping general forcing principles, such asthe assertion that every possibly necessary statement is necessarily possible, which is valid for forcing, orthe assertion that every possibly necessary statement is true, which is the maximality principle, a forcing axiom independent of but equiconsistent with ZFC.  Similarly, the dual modal logic of grounds concerns the modalities “true in all ground models” and “true in some ground model”.  In this talk, I shall survey the recent progress on the modal logic of forcing and the modal logic of grounds. This is joint work with Benedikt Loewe and George Leibman.

# Moving up and down in the generic multiverse

• J. D. Hamkins and B. Löwe, “Moving up and down in the generic multiverse,” Logic and its Applications, ICLA 2013 LNCS, vol. 7750, p. 139–147, 2013.
[Bibtex]
@ARTICLE{HamkinsLoewe2013:MovingUpAndDownInTheGenericMultiverse,
AUTHOR = {Joel David Hamkins and Benedikt Löwe},
title = {Moving up and down in the generic multiverse},
journal = {Logic and its Applications, ICLA 2013 LNCS},
publisher= {Springer},
editor= {Lodaya, Kamal},
isbn= {978-3-642-36038-1},
year = {2013},
volume = {7750},
number = {},
pages = {139--147},
doi= {10.1007/978-3-642-36039-8_13},
month = {},
note = {},
url = {http://wp.me/p5M0LV-od},
eprint = {1208.5061},
archivePrefix = {arXiv},
primaryClass = {math.LO},
abstract = {},
keywords = {},
source = {},
}

In this extended abstract we investigate the modal logic of the generic multiverse, which is a bimodal logic with operators corresponding to the relations “is a forcing extension of”‘ and “is a ground model of”. The fragment of the first relation is the modal logic of forcing and was studied by us in earlier work. The fragment of the second relation is the modal logic of grounds and will be studied here for the first time. In addition, we discuss which combinations of modal logics are possible for the two fragments.

The main theorems are as follows:

Theorem.  If  ZFC is consistent, then there is a model of  ZFC  whose modal logic of forcing and modal logic of grounds are both S4.2.

Theorem.  If  the theory “$L_\delta\prec L+\delta$ is inaccessible” is consistent, then there is a model of set theory whose modal logic of forcing is S4.2 and whose modal logic of grounds is S5.

Theorem.  If  the theory “$L_\delta\prec L+\delta$ is inaccessible” is consistent, then there is a model of set theory whose modal logic of forcing is S5 and whose modal logic of grounds is S4.2.

Theorem. There is no model of set theory such that both its modal logic of forcing and its modal logic of grounds are S5.

The current article is a brief extended abstract (10 pages).  A fuller account with more detailed proofs and further information will be provided in a subsequent articl

eprints:  ar$\chi$iv | NI12059-SAS | Hamburg #450

# Jonas Reitz

Jonas Reitz earned his Ph.D under my supervision in June, 2006 at the CUNY Graduate Center.  He was truly a pleasure to supervise. From the earliest days of his dissertation research, he had his own plan for the topic of the work: he wanted to “undo” forcing, to somehow force backwards, from the extension to the ground model. At first I was skeptical, but in time, ideas crystalized around the ground axiom (now with its own Wikipedia entry), formulated using a recent-at-the-time result of Richard Laver.  Along with Laver’s theorem, Jonas’s dissertation was the beginning of the body of work now known as set-theoretic geology.  Jonas holds a tenured position at the New York City College of Technology of CUNY.

web page | math genealogy | MathSciNet | ar$\chi$iv | google scholar | related posts

Jonas Reitz, “The ground axiom,” Ph.D. dissertation, CUNY Graduate Center, June, 2006.  ar$\chi$iv

Abstract.  A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class-forcing extension which satisfies it. The Ground Axiom is independent of many well-known set-theoretic assertions including the Generalized Continuum Hypothesis, the assertion V=HOD that every set is ordinal definable, and the existence of measurable and supercompact cardinals. The related Bedrock Axiom, asserting that the universe is a set-forcing extension of a model satisfying the Ground Axiom, is also first-order expressible, and its negation is consistent. As many of these results rely on forcing with proper classes, an appendix is provided giving an exposition of the underlying theory of proper class forcing.

# Set-theoretic geology

• G. Fuchs, J. D. Hamkins, and J. Reitz, “Set-theoretic geology,” Annals of Pure and Applied Logic, vol. 166, iss. 4, p. 464–501, 2015.
[Bibtex]
@article{FuchsHamkinsReitz2015:Set-theoreticGeology,
author = "Gunter Fuchs and Joel David Hamkins and Jonas Reitz",
title = "Set-theoretic geology",
journal = "Annals of Pure and Applied Logic",
volume = "166",
number = "4",
pages = "464--501",
year = "2015",
note = "",
MRCLASS = {03E55 (03E40 03E45 03E47)},
MRNUMBER = {3304634},
issn = "0168-0072",
doi = "10.1016/j.apal.2014.11.004",
eprint = "1107.4776",
archivePrefix = {arXiv},
primaryClass = {math.LO},
url = "http://jdh.hamkins.org/set-theoreticgeology",
}

A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset P in W . The model V satisfies the ground axiom GA if there are no such W properly contained in V . The model W is a bedrock of V if W is a ground of V and satisfies the ground axiom. The mantle of V is the intersection of all grounds of V . The generic mantle of V is the intersection of all grounds of all set-forcing extensions of V . The generic HOD, written gHOD, is the intersection of all HODs of all set-forcing extensions. The generic HOD is always a model of ZFC, and the generic mantle is always a model of ZF. Every model of ZFC is the mantle and generic mantle of another model of ZFC. We prove this theorem while also controlling the HOD of the final model, as well as the generic HOD. Iteratively taking the mantle penetrates down through the inner mantles to what we call the outer core, what remains when all outer layers of forcing have been stripped away. Many fundamental questions remain open.

# The set-theoretical multiverse: a natural context for set theory, Japan 2009

• J. D. Hamkins, “The Set-theoretic Multiverse : A Natural Context for Set Theory,” Annals of the Japan Association for Philosophy of Science, vol. 19, p. 37–55, 2011.
[Bibtex]
@article{Hamkins2011:TheMultiverse:ANaturalContext,
author="Joel David Hamkins",
title="The Set-theoretic Multiverse : A Natural Context for Set Theory",
journal="Annals of the Japan Association for Philosophy of Science",
ISSN="0453-0691",
publisher="the Japan Association for Philosophy of Science",
year="2011",
volume="19",
number="",
pages="37--55",
URL="http://jdh.hamkins.org/themultiverseanaturalcontext",
doi={10.4288/jafpos.19.0_37},
}

This article is based on a talk I gave at the conference in honor of the retirement of Yuzuru Kakuda in Kobe, Japan, March 7, 2009. I would like to express my gratitude to Kakuda-sensei and the rest of the logic group in Kobe for the opportunities provided to me to participate in logic in Japan. In particular, my time as a JSPS Fellow in the logic group at Kobe University in 1998 was a formative experience. I was part of a vibrant research group in Kobe; I enjoyed Japanese life, learned to speak a little Japanese and made many friends. Mathematically, it was a productive time, and after years away how pleasant it is for me to see that ideas planted at that time, small seedlings then, have grown into tall slender trees.

Set theorists often take their subject as constituting a foundation for the rest of mathematics, in the sense that other abstract mathematical objects can be construed fundamentally as sets. In this way, they regard the set-theoretic universe as the universe of all mathematics. And although many set-theorists affirm the Platonic view that there is just one universe of all sets, nevertheless the most powerful set-theoretic tools developed over the past half century are actually methods of constructing alternative universes. With forcing and other methods, we can now produce diverse models of ZFC set theory having precise, exacting features. The fundamental object of study in set theory has thus become the model of set theory, and the subject consequently begins to exhibit a category-theoretic second-order nature. We have a multiverse of set-theoretic worlds, connected by forcing and large cardinal embeddings like constellations in a dark sky. In this article, I will discuss a few emerging developments illustrating this second-order nature. The work engages pleasantly with various philosophical views on the nature of mathematical existence.

Slides