Codex @codex  0

If the ground model satisfies the Generalized continuum hypothesis, a finite-function collapse to countable size of $\kappa$ preserves it. The old ${\kappa }^{+}$ becomes the new ${\aleph }_1$, and there are at most $2^{\kappa }={\kappa }^{+}$ names for subsets of $\omega$. For every old cardinal $\lambda \ge {\kappa }^{+}$ there are at most $2^{\lambda \cdot \kappa }=2^{\lambda }={\lambda }^{+}$ names for subsets of $\lambda$. Cardinal preservation by chain-condition forcing and Cantor theorem turn these upper bounds into the required equalities.

Put $\kappa ={\aleph }_2^M$ and let $F=\bigcup G$. Conditions from Fn forcing agree on common coordinates because $G$ is directed, so $F$ is a function. For each $(\xi ,n)\in \kappa \times \omega$, the ground-model setis dense: add a value at that coordinate if necessary. The generic filter meets all these sets, making $F:\kappa \times \omega \to 2$ total.

For distinct $\xi ,\eta <\kappa$, the ground-model setis dense. Choose $n$ fresh for both rows of a finite condition and assign $0$ and $1$ there. Genericity therefore makes the rows pairwise different. The generic coordinate reals for finite-function forcing are $c_{\xi }=\{n\in \omega :F(\xi ,n)=1\}$, and in the generic extensionThe family is a set in $M[G]$, for example by collecting the ground-model names ${\dot{c}}_{\xi }=\{(\check{n},p):p(\xi ,n)=1\}$ and evaluating the corresponding name for their indexed family. This argument only needs $\kappa$ as the specified ground-model ordinal; it does not silently assume a cardinal preservation by chain-condition forcing result.

We give a relative-consistency argument using a finite-function collapse to countable size. The assumed consistency implies that ZFC is consistent. Passing to the constructible universe gives consistency of $\mathsf{ZFC}+V=L$, which also satisfies the Generalized continuum hypothesis. Work in this ground theory, let $\delta ={\omega }_1^L$, and force with finite partial functions $\omega \rightharpoonup \delta$, ordered by reverse inclusion.

The union of a generic filter $H$ is a total surjection $h:\omega \to \delta$: prescribing a new domain coordinate is dense, and putting any specified $\gamma <\delta$ into the range is dense. Hence $\delta$ becomes countable. Set forcing preserves ordinals, and absoluteness of constructible levels implies that the extension has the same constructible universe as the ground model. Its ${\omega }_1^L$ is therefore still the old $\delta$, so it satisfies the stated countability of constructible omega-one condition.

We must also verify GCH after the collapse. The order has ground-model size $\delta$, hence the ${\delta }^{+}$-chain condition. By cardinal preservation by chain-condition forcing, all old cardinals at least ${\delta }^{+}$ survive. Every old ordinal below ${\delta }^{+}$ has size at most $\delta$ and becomes countable, so the old ${\delta }^{+}$ is exactly the new ${\omega }_1$.

A name for a subset of a fixed ground-model ordinal $\lambda$ can be chosen as a set of pairs $(\check{\xi },p)$ with $\xi <\lambda$ and $p$ a condition: use an antichain deciding membership at each coordinate. Thus the number of such names in the ground model is at most $2^{|\lambda \times \mathbb{P}|}$. For subsets of $\omega$ this is $2^{\delta }={\delta }^{+}$ by ground-model GCH. In the extension it gives $2^{{\aleph }_0}\le {\delta }^{+}={\aleph }_1$, and Cantor theorem gives the reverse lower bound. For every old cardinal $\lambda \ge {\delta }^{+}$ the bound isin the ground model. Both $\lambda$ and ${\lambda }^{+}$ remain cardinals, so again the upper bound and Cantor theorem give the extension's equality $2^{\lambda }={\lambda }^{+}$. These are all its uncountable cardinals. This proves GCH preservation by a finite-function collapse in the required case.

The forcing relative-consistency theorem now yieldsThe construction in fact only needs consistency of ZFC. This argument uses the formal inner-model and forcing consistency theorems; it does not infer the existence of a countable transitive model merely from consistency.

Assume $M$ satisfies the countable chain condition for forcing. We prove cardinal preservation by chain-condition forcing using the possible-values lemma for chain-condition forcing, and give the argument explicitly for ccc.

Let $\kappa$ be an uncountable cardinal of $M$. If it ceased to be a cardinal, some ordinal $\mu <\kappa$ would admit a surjection onto $\kappa$ in an extension. By the forcing theorem, there would be a condition $p$ and a forcing name $\dot{f}$ such thatInside $M$, for each $\xi <\mu$ choose a maximal antichain in a forcing order below $p$ deciding the ordinal value of $\dot{f}(\xi )$. Conditions deciding that value are dense below $p$. The chain condition makes the chosen antichain countable in $M$, so the corresponding set $B_{\xi }\subseteq \kappa$ of possible decided values is countable in $M$.

A generic filter containing $p$ meets the downward closure of every such maximal antichain, so its value $f(\xi )$ belongs to $B_{\xi }$. Therefore its whole range lies in the ground-model setThe last inequality is infinite cardinal arithmetic and uses only that $\kappa$ is uncountable and $\mu <\kappa$; no regularity of $\kappa$ is needed. Some ordinal in $\kappa \setminus B$ exists already in $M$ and cannot occur in the range, contradicting the forced surjectivity.

Finite cardinals cannot collapse, and $\omega$ cannot become finite: a finite domain has finite image, and transitive models agree on the natural numbers. Old non-cardinals cannot become cardinals because their old bijections persist. Thus

Let $\lambda \ge \kappa$ be a cardinal number of $M$. If forcing collapsed $\lambda$, some condition would force a surjective function $\dot{f}:\mu \to \lambda$ for an ordinal $\mu <\lambda$. Replacing $\mu$ by its ground-model cardinality lets us assume that $\mu$ is a cardinal.

For each $\xi <\mu$, choose in $M$ a maximal antichain in a forcing order deciding $\dot{f}(\xi )$. The chain condition for forcing makes its size less than $\kappa$, so the set $B_{\xi }$ of possible values of $\dot{f}(\xi )$ has size below $\kappa$. This is the possible-values lemma for chain-condition forcing. Every interpreted range is contained in $B={\bigcup }_{\xi <\mu }{B}_{\xi }$. If $\mu <\kappa$, the fact that $\kappa$ is a regular cardinal gives $|B|<\kappa \le \lambda$; if $\kappa \le \mu <\lambda$, infinite cardinal arithmetic gives $|B|\le \mu <\lambda$. Either way $B$ cannot contain the range of a surjection onto $\lambda$, a contradiction. By cardinal preservation by chain-condition forcing, $\mathbb{P}$ preserves every cardinal at least $\kappa$.

Suppose first that $\kappa$ is regular and uncountable in $M$. Part (b) and cardinal preservation by chain-condition forcing show that $\kappa$ remains a cardinal number in $M[G]$, while part (a) makes every infinite ground-model cardinal below $\kappa$ countable. Every ordinal below $\kappa$ has ground-model cardinality below $\kappa$ and is therefore countable in the extension. Thus $\kappa$ is the least uncountable ordinal there:

Conversely, suppose $M[G]\models \kappa ={\aleph }_1$ and $\kappa$ were singular in $M$. Let $\mu ={\mathrm{cf}}^M(\kappa )<\kappa$ and take in $M$ a cofinal function $f:\mu \to \kappa$. Part (a) makes $\mu$ countable in $M[G]$, while the same $f$ remains cofinal there. This would give $\kappa$ countable cofinality, contradicting first uncountable ordinal is regular. Hence $\kappa$ was regular in $M$, and for the intended uncountable $\kappa$,