Cardinal-Preserving Generic Extension

• Cardinal-preserving generic extension is a forcing method that maintains the ground model's cardinals without collapsing them.
• The technique employs specific chain conditions and closure properties to control cardinal arithmetic and ensure model consistency.
• These methods underpin applications in large cardinal preservation and model-theoretic transfer principles in set theory.

A cardinal-preserving generic extension is a forcing extension $V[G]$ of a ground model $V$ such that for every cardinal $\kappa$, $\kappa$ is a cardinal in $V$ if and only if it is a cardinal in $V[G]$. This article addresses the concept and construction of cardinal-preserving generic extensions, focusing on their role in fine-structural set theory, large cardinal preservation, and the analysis of transfer principles for models of set theory.

1. Definition and Basic Principles

A generic extension $V[G]$ is obtained by forcing with a poset $\mathbb{P}$ in $V$ and adding a $V$-generic filter $G \subseteq \mathbb{P}$. The extension is cardinal-preserving if all ($V$-)cardinals retain their cardinality in $V[G]$. Formally, for all $\kappa$,

$$V \models \text{``}\kappa \text{ is a cardinal''} \iff V[G] \models \text{``}\kappa \text{ is a cardinal''}.$$

This property is essential for delicate manipulations of combinatorial properties without disturbing the fundamental cardinal structure. Cardinal preservation is typically ensured by chain condition and closure properties of the forcing notion. For example, if a poset $\mathbb{P}$ satisfies the $\kappa$-chain condition ($\kappa$-c.c.), then it cannot collapse cardinals $\leq\kappa$. Conversely, $\kappa$-closed forcing preserves bounded subsets and thus cofinalities up to $\kappa$.

2. Canonical Constructions: The Two-Step Extension in Silver’s Question

A seminal example of a cardinal-preserving generic extension is provided by Golshani–Mohsenipour’s resolution of Silver’s 1971 question on gap-two transfer principles. Working in $V=L$ and assuming the existence of a Mahlo cardinal $\kappa$, they define a two-step forcing

$$\mathbb{P} = \mathrm{Col}(\aleph_1, <\kappa) * Q(\kappa)$$

where:

• $\mathrm{Col}(\aleph_1, <\kappa)$ is the Levy collapse of all cardinals in $[\aleph_1, \kappa)$ to $\aleph_1$. It is $\aleph_1$-closed and has the $\kappa$-c.c., so no cardinals $\geq\kappa$ are collapsed and cofinalities are preserved.
• $Q(\kappa)$ is a mild Jensen-style $\kappa$-c.c., $\aleph_2$-closed forcing which, over $L[G]$, introduces a coherent $\aleph_1$-sequence, killing all $(\aleph_3, \aleph_1)$-models of a finite fragment $\mathrm{TJ}$ of Jensen theory.

In the extension $L[G*H]$:

• GCH holds at all cardinals.
• There is an $\aleph_2$-Kurepa tree but no $\aleph_1$-Kurepa tree, ensuring that the transfer principles $(\aleph_2, \aleph_0) \to (\aleph_3, \aleph_1)$ and $(\aleph_3, \aleph_1) \to (\aleph_2, \aleph_0)$ fail simultaneously.
• All cardinals of $V$ are preserved by careful control of the closure and chain conditions in the iterated forcing (Golshani et al., 2017).

3. Large Cardinals and Cardinal-Preserving Iterations

Generic extensions preserving cardinals are essential in the study of large cardinals, e.g., measurable, supercompact, or extendible cardinals. Extensions of this type are constructed to maintain the large cardinal property throughout the forcing. Key schemes include:

• Easton-support iterations: Reverse or direct Easton-support iterations at regular cardinals, using Cohen or Sacks forcing to manipulate the continuum function, are cardinal-preserving under appropriate support. For Shelah cardinals or $C^{(n)}$-extendibles, the iterations must eventually become $\kappa$-closed and/or $\kappa$-directed-closed above each relevant cardinal $\kappa$ (Golshani, 2016, Joan et al., 2018).
• Homogeneous, definable, or “fitting” class iterations: Weak homogeneity and definability allow cardinal preservation even in class-forcing frameworks. These techniques underlie preservation theorems for Vopěnka’s Principle and $C^{(n)}$-extendibles under broad classes of generic extensions (Joan et al., 2018).

A central technical tool is to ensure that, for any large cardinal $\kappa$ (such as extendible or Shelah), the iteration factors at $\kappa$ so that the critical closure and chain condition properties still hold in any tail forcing above $\kappa$.

4. Applications to Model-Theoretic Transfer Principles

Cardinal-preserving generic extensions are instrumental in constructing counterexamples or consistency results regarding transfer principles between cardinal pairs for models of fragments of ZFC or weak second-order theories. For instance,

• The construction in (Golshani et al., 2017) provides an extension where, owing to the presence or absence of Kurepa trees, both $(\aleph_2, \aleph_0) \to (\aleph_3, \aleph_1)$ and $(\aleph_3, \aleph_1) \to (\aleph_2, \aleph_0)$ fail.
• The preservation of all cardinals is a prerequisite for analyzing transfer principles at specific gaps or deducing their simultaneous failures for higher gaps via model-theoretic stepping-down arguments.

5. Techniques to Prevent Collapsing Cardinals

The central strategy to ensure cardinal preservation is to impose:

• Sufficient closure (e.g., $\aleph_1$-closure or $\aleph_2$-closure) so that no new bounded subsets (and hence no cofinalities) are added.
• The appropriate chain condition (e.g., $\kappa$-c.c.) to preclude antichains of size $\kappa$ and so prevent the collapse of cardinals $\leq\kappa$.

Composition, as in two-step forcings, demands that both factors maintain cardinal preservation properties and that their interaction does not introduce new collapses.

For class-forcing iterations, eventual closure beyond any ground-model cardinal and the existence of a “club” (closed unbounded class) of reflection points ensure that the relevant large cardinal embeddings can be lifted, and thus the structure of cardinals is untampered (Joan et al., 2018).

6. Generalizations and Broader Impact

Cardinal-preserving generic extensions occupy a central role in relative consistency results:

• Consistency of GCH, its failure, or prescribed continuum function behaviour at arbitrary regulars, all while preserving large cardinals and the structure of the universe (Golshani, 2016).
• Consistency of the failure of the covering property for $\mathrm{HOD}$ at every infinite cardinal below a large cardinal (e.g., via supercompact Radin forcing preserving strong inaccessibility) (Cummings et al., 2016).
• Preservation of cardinal invariants and cardinal structure in the analysis of cardinal characteristics of the continuum via ccc iterations and their ultrapowers (Mejía, 2015).

Preservation methods are thus deeply intertwined with foundational results in set theory regarding independence, absoluteness, and delicate combinatorial properties.

7. The Role of Mahloness and Large Cardinal Assumptions

Certain cardinal-preserving extensions require strong large cardinal hypotheses. For example, the construction in (Golshani et al., 2017) depends on the existence of a Mahlo cardinal to:

• Ensure reflection and inaccessibility patterns are robust under the chosen collapses.
• Guarantee the $\kappa$-c.c. and sufficient closure of the diagonal product in Jensen’s forcing, which are indispensable for both technical and foundational preservation needs.

Such assumptions are not merely technical; they are often indispensable for achieving the simultaneous control of cardinal arithmetic, combinatorial objects, and transfer principles without sacrificing the underlying cardinal structure.

---

References:

(Golshani et al., 2017, Golshani, 2016, Joan et al., 2018, Cummings et al., 2016, Mejía, 2015)