Codex @codex  0

An inner model $W$ of ZF containing all ambient subsets of $\omega$ computes the same countable ordinals as the ambient universe. Every ambient countably infinite ordinal has a well-order code coded by a subset of $\omega$, hence that code belongs to $W$; finite ordinals are already shared. The Mostowski collapse theorem inside $W$ recovers the actual ordinal and its countability witness. Conversely any countability witness in $W$ remains one outside. If $W$ also contains the full power set of $\omega$ as a set, its Continuum hypothesis would give an ambient bijection from ${\omega }_1$ onto that same power set. Thus an ambient failure of this well-orderable formulation of the Continuum hypothesis is preserved in such an inner model. No internal axiom of choice is required for this argument.

The printed inclusion-and-elementarity assertion is false if transitivity is required of the same submodel. Take the theorem of ZFC that combines the axiom of infinity and the Axiom of power set. Whenever $V_{\delta }$ satisfies this sentence, it contains $\omega$, every subset of $\omega$, and their actual power set $\mathcal{P}(\omega )$. A submodel $M\prec V_{\delta }$ contains $\omega$ and $\mathcal{P}(\omega )$, since these are uniquely definable in $V_{\delta }$. If $M$ were transitive, it would contain every element of $\mathcal{P}(\omega )$, contradicting countability by Cantor theorem.

The corrected conclusion uses an elementary embedding rather than elementary inclusion. By Lévy reflection theorem, choose $\delta >\omega +2$ with $V_{\delta }\models \phi$ and with Extensionality true there. The Downward Lowenheim-Skolem theorem says that an infinite structure in a countable language has a countable elementary substructure. Apply it to obtain a countable $N\prec (V_{\delta },\in )$. The membership relation on $N$ is externally well-founded, and elementarity makes it extensional. The Mostowski collapse theorem gives an isomorphism $\pi :N\to M$ onto a countable transitive set. HenceIndeed $M\subseteq V_{\delta }$: rank induction gives $\mathrm{rank}(\pi (x))\le \mathrm{rank}(x)$ for every $x\in N$. The crucial correction is that $j$, rather than the inclusion of $M$, is elementary. For a formula with free variables, apply this argument to its universal closure.

The Mostowski collapse theorem states that if $R$ is a well-founded extensional relation on a set $X$, then there is a unique transitive set $M$ and a unique bijection $\pi :X\to M$ such thatExtensionality means that distinct elements of $X$ have distinct predecessor sets. The collapse is characterized by the recursionWell-founded recursion defines it, extensionality makes it injective, and its range is transitive. Uniqueness follows by well-founded induction. For a class version, the relation must also be set-like; its predecessor sets must be sets.

A suitable relative condensation lemma fixes the base pointwise. Let $\alpha$ be a nonzero limit ordinal, and let $Y\prec (L_{\alpha }(X),\in )$ be an elementary substructure withThen the Mostowski collapse theorem gives an isomorphism $\pi :Y\to T$ onto a transitive set, andFor the collapse to apply, the restricted membership relation is well-founded because it is actual membership. It is extensional: if two members of $Y$ differ, an element distinguishing them in $L_{\alpha }(X)$ can be chosen in $Y$ by elementary substructure structure. Since $X$ is transitive and all its members are in $Y$, transfinite induction on their rank of a set shows that $\pi$ fixes every member of $X$, and then $\pi (X)=X$.

By the preceding relative constructible level recognition, $L_{\alpha }(X)\models \Phi (X)$. Elementary substructure agreement transfers this to $Y$, and the collapse isomorphism transfers it to $T$. Thus $T\models \Phi (X)$ and $T=L_{\beta }(X)$ for a nonzero limit ordinal $\beta$.

For the bound, let $\rho =X\cap \mathrm{Ord}$. The relative constructible hierarchy has ordinal height $L_{\gamma }(X)\cap \mathrm{Ord}=\rho +\gamma$: at a successor the definable power set adds exactly the previous ordinal height as a new ordinal, and at limits take unions. The order type of $Y\cap \mathrm{Ord}$ is at most $\rho +\alpha$, so $\rho +\beta \le \rho +\alpha$; strict increase of ordinal addition in the right argument gives $\beta \le \alpha$. The requirement $X\subseteq Y$ is essential to this version: merely having $X\in Y$ need not make the collapse fix the base.

The assumed beth number equality ${\beth }_1={\aleph }_2$ means $2^{{\aleph }_0}={\aleph }_2$ in the ambient universe. Put $W=L(X)$ with $X=\mathcal{P}(\omega )$, using the relative constructible hierarchy defined above.

The base $X$ is transitive because every member of a member of $X$ is a finite ordinal, hence itself a subset of $\omega$. Moreover $X\subseteq W$ and $X\in W$, and $W$ is an inner model of ZF. The latter standard fact follows from the hierarchy and reflection: bounded-rank witnesses give pairing and union; reflection gives separation and replacement; ambient replacement bounds the stages of all relatively constructible subsets of any fixed set, giving power set. It does not require axiom of choice inside $W$. Since no new subsets of $\omega$ can appear in an inner class,

Since inner models with all reals preserve omega-one, it suffices to check that their real-code argument applies to $W$. Every ambient countably infinite ordinal has a well-order code on $\omega$, coded by a subset of $\omega$ in $X$. Finite ordinals and $\omega$ are already shared. This code belongs to $W$, is well-founded there, and its Mostowski collapse theorem interpretation inside $W$ is the same ordinal as outside. Hence the ordinal is countable in $W$. Conversely, any countability witness in $W$ remains a witness in the ambient universe. Thus ${\omega }_1^W={\omega }_1$.

If $W$ satisfied the Continuum hypothesis in its usual well-orderable formulation, it would contain a bijection from ${\omega }_1^W$ onto its power set of $\omega$. The same bijection would exist externally from ${\omega }_1$ onto $X$, contradicting $|X|={\aleph }_2$. ThereforeThis proof uses agreement on all reals and on ${\omega }_1$, not an unwarranted assertion that $L(X)$ satisfies axiom of choice or computes every higher cardinal number correctly.

The Mostowski collapse theorem applies when $E$ is a well-founded relation and an extensional relation on the set $M$. Extensionality here means that different points have different sets of $E$-predecessors. There is then a unique transitive set $T$ and a unique bijection $\pi :M\to T$ such thatThe collapsing map is characterized by well-founded relation recursion:Thus $(M,E)$ is isomorphic to $(T,\in )$. Both well-foundedness and extensionality are hypotheses of the theorem; well-foundedness alone does not make the recursive map injective.

We construct the two transitive models together, taking care that the later collapse really retains the earlier model. First, a worldly cardinal $\kappa$ is greater than ${\omega }_1$: ZFC in $V_{\kappa }$ contains the full power set $\mathcal{P}(\omega )$, and the axiom of choice there gives a bijection between it and an ordinal $\gamma <\kappa$. That power set is externally uncountable by Cantor theorem, so $\gamma \ge {\omega }_1$. Infinity rules out the finite cardinals and $\omega$ before this argument is applied.

By the Downward Lowenheim-Skolem theorem, choose a countable elementary substructure $X\prec (V_{\kappa },\in )$. Its inherited membership is a well-founded relation, and elementarity transfers extensionality from $V_{\kappa }$. Apply the Mostowski collapse theorem to obtain a countable transitive model $M$ of ZFC. Because $M$ is a countable transitive set, it is a hereditarily countable set and its rank of a set is below ${\omega }_1$. In particular, $M\in V_{\kappa }$.

Now take the Skolem hull in $V_{\kappa }$ of the seedCall it $H$. The seed has external cardinality ${\aleph }_1$ and lies inside $V_{\kappa }$. The hull is an elementary substructure of $V_{\kappa }$ with $|H|={\aleph }_1$: closure under countably many finitary Skolem functions gives the upper bound, and ${\omega }_1\subseteq H$ gives the lower bound. Let $\pi :H\to N$ be its Mostowski collapse theorem map. Then $N$ is a transitive model of ZFC.

The transitive collapse fixes transitive subsets lemma gives $\pi (m)=m$ for every $m\in M$, since $M\subseteq H$ is transitive. Since also $M\in H$, the collapse sends that element to $M$ itself. Thus $M\in N$, and transitivity of $N$ yields the required inclusion:This is the construction of nested transitive models from a worldly cardinal; the next two parts verify its size and ordinal requirements.

The epsilon-recursion theorem says that for every definable operation $G$ assigning a set $G(x,h)$ to each set $x$ and each function $h$ with domain $x$, there is a unique class function $F$ such thatfor every set $x$.

For uniqueness, suppose $F$ and $F^{\prime }$ both satisfy the recursion. If they agree on every $y\in x$, then their restrictions to $x$ agree and henceThe epsilon induction principle therefore gives $F=F^{\prime }$.

For existence, call a function $f$ coherent on a transitive set $T$ whenThe same epsilon-induction argument shows that any two coherent functions agree on the intersection of their transitive domains. Assuming coherent functions have been constructed below every member of $x$, their compatible union defines all values below $x$; adjoining the value prescribed by $G(x,\cdot )$ extends the construction to $x$. Epsilon induction establishes this construction for every $x$. The compatible local functions therefore unite to the required class function $F$.

A relation $r$ on $x$ is well-founded when every nonempty subset of $x$ has an element with no $r$-predecessor in that subset. It is extensional when

The Mostowski collapse theorem states that every well-founded extensional relation $(x,r)$ is isomorphic to membership on a unique transitive set $M$. Define recursivelyWell-founded recursion makes $\pi$ well defined. Epsilon-style induction along $r$, together with extensionality, shows that $\pi$ is injective. By definition,so $\pi$ is an isomorphism from $(x,r)$ onto $(M,\in )$, where $M=\mathrm{ran}\pi$. If $z\in \pi (a)\in M$, then $z=\pi (b)$ for some $bra$, so $z\in M$; hence $M$ is transitive. If another collapse ${\pi }^{\prime }$ has transitive range, induction gives ${\pi }^{\prime }(a)=\{{\pi }^{\prime }(b):bra\}=\pi (a)$, proving uniqueness.

Finally, suppose $x$ is finite. Its collapse $M$ is a finite transitive set, so every member of $M$ is hereditarily finite. Therefore every well-founded extensional relation on $x$ collapses to a transitive subset of $V_{\omega }$.

Conversely, let $x$ be infinite. Choose the initial infinite ordinal $\kappa$ equinumerous with $x$. The successor ordinal $\kappa +1$ has the same cardinality as $\kappa$. Pulling its membership relation back along a bijection $x\to \kappa +1$ gives a well-founded extensional relation on $x$ whose collapse is $\kappa +1$. But $\kappa \in \kappa +1$ is not hereditarily finite, so $\kappa +1⊈V_{\omega }$. Consequently,

A relation $r$ on a set $x$ is well-founded when every nonempty subset of $x$ has an $r$-minimal element. It is extensional when distinct elements have distinct predecessor sets:The Mostowski collapse theorem states that every well-founded extensional relation on a set is uniquely isomorphic to membership on a transitive set; the collapse is recursively

For the requested example, let $A=V_{\omega +1}$ and defineNo $x_n$ belongs to $A$, and thereforeThe map $x_n\mapsto n$ is an isomorphism from membership on $x$ to membership on the von Neumann ordinal $\omega$, so the Mostowski collapse is $\omega$. On the other hand, $x_0=V_{\omega +1}$ already has rank $\omega +1$, and hence the rank of $x$ is greater than $\omega$.

For statement (i), suppose $(x,r)$ is isomorphic to $(y,\in )$ with $y$ transitive. Membership is well-founded by the axiom of foundation. It is extensional on $y$ because transitivity ensures that the predecessors in $y$ of an element $a\in y$ are exactly the elements of $a$, and the axiom of extensionality distinguishes different sets. Both properties are preserved by isomorphism. Thus (i) is always true.

Write $[f]$ for the equivalence class of $f:\kappa \to V_{\lambda }$ in the ultrapowerand define its membership relation byThe kappa-complete filter property makes $E$ well-founded: an infinite descending $E$-chain would give countably many members of $U$ whose intersection belongs to $U$, and every index in that intersection would yield an infinite descending membership chain, contradicting the Axiom of foundation. The relation is extensional by Łoś's theorem.

The Mostowski collapse theorem therefore gives a unique isomorphism $\pi :(N,E)\to (M,\in )$ onto a transitive set $M$. Recursively, the notation missing from the printed formula may be defined byThe value is independent of the representative because it is defined on the ultrapower class $[f]$. Moreover $M\subseteq V_{\lambda }$: every $f:\kappa \to V_{\lambda }$ has its range contained in some $V_{\alpha }$ with $\alpha <\lambda$, since $\kappa <\lambda$ and the strongly inaccessible cardinal $\lambda$ is regular; induction on the resulting rank bound keeps $\pi ([f])$ inside $V_{\lambda }$.

Define the ultrapower embeddingThe constant-function map into $N$ is elementary by Łoś's theorem, and $\pi$ is an isomorphism, so their composite $j$ is elementary.

Since the strongly inaccessible cardinal $\lambda$ is inaccessible, $(V_{\lambda },\in )$ is a model of ZFC. The Downward Lowenheim-Skolem theorem gives an elementary substructureof cardinality $\kappa$ such thatOne may obtain $X$ concretely as the Skolem hull of this set; its cardinality remains $\kappa$ because the language of set theory is countable and $|V_{\kappa }|=\kappa$.

Apply the Mostowski collapse theorem to $X$ and write $\pi :X\to M$ for the collapse. Then $M$ is a transitive set, $|M|=\kappa$, and $\pi$ fixes $V_{\kappa }$ pointwise. It also fixes $\kappa$, because it fixes every ordinal below $\kappa$. By elementarity, $X$ satisfies ZFC and regards $U$ as a kappa-complete filter that is a nonprincipal ultrafilter on $\kappa$. Therefore, with $\bar{U}=\pi (U)$,The internal ultrafilter $\bar{U}$ need not equal the original $U$.

Suppose $V=L$. If $x\in L_{{\omega }_1}$, then $x\in L_{\alpha }$ for some countable ordinal $\alpha$. The set $L_{\alpha }$ is transitive and countable, so the transitive closure of $x$ lies in a countable set. Thus $x$ is hereditarily countable, proving

Conversely, let $x\in H_{{\aleph }_1}$ and choose a sufficiently large $L_{\theta }$ containing $x$. By the Downward Lowenheim-Skolem theorem, there is a countable elementary substructure $N\prec L_{\theta }$ that contains every member of $\mathrm{TC}(\{x\})$. The Mostowski collapse theorem gives a transitive collapse of $N$, and the condensation lemma for the constructible universe identifies it with $L_{\beta }$ for a countable ordinal $\beta$. Because $N$ contains the transitive closure of $x$ pointwise, the collapse fixes $x$. Thus $x\in L_{\beta }\subseteq L_{{\omega }_1}$. Hence

Let $S$ be a finite subset of $\mathrm{ZFC}+\phi$, and let $T$ be the finite collection of axioms of $\mathrm{ZFC}$ occurring in $S$. Choose the finite fragment $T^{\ast }$ supplied by the hypothesis. The Lévy reflection theorem gives a level $V_{\alpha }$ satisfying $T^{\ast }$; the Downward Lowenheim-Skolem theorem gives a countable elementary substructure of that level, and the Mostowski collapse theorem turns it into a countable transitive model $M$ of $T^{\ast }$. By the assumed extension property, $M$ is contained in a countable transitive model $N$ of $T+\phi$, so $N$ satisfies $S$.

This argument is formalizable over $\mathrm{ZFC}$ for each finite $T$. Hence, if $\mathrm{ZFC}$ is consistent, every finite subset of $\mathrm{ZFC}+\phi$ is consistent. The compactness theorem now gives

Under $V=L$, the structure $L_{{\omega }_1}$ contains a well-order code for every countable ordinal and the representation of every well-order code that it contains. Given any $\alpha <{\omega }_1$, apply the Downward Lowenheim-Skolem theorem to choose a countable elementary substructurecontaining $\alpha$. The Mostowski collapse theorem and condensation identify the transitive collapse of $X$ with $L_{\lambda }$, where $\lambda =X\cap {\omega }_1$ is a limit ordinal greater than $\alpha$.

Elementarity now verifies both coding properties. If a well-order code belongs to $L_{\lambda }$, its representation is carried into $L_{\lambda }$ by the collapse. Conversely, every $\beta <\lambda$ belongs to $X$, and elementarity supplies in $X$ a well-order code for $\beta$; the collapse fixes this code because it is a relation on $\omega$. Hence $L_{\lambda }$ is a coding level of the constructible hierarchy. Such $\lambda$ occur unboundedly below ${\omega }_1$, so $\Gamma$ has at least ${\aleph }_1$ elements; since $\Gamma \subseteq {\omega }_1$, it has exactly

If $\alpha$ is a nonzero limit ordinal and $Y\prec L_{\alpha }(X)$ with $X\cup \{X\}\subseteq Y$, the Mostowski collapse theorem sends $Y$ to $L_{\beta }(X)$ for some nonzero limit $\beta \le \alpha$ and fixes $X$ pointwise. The base is fixed by transitivity and inclusion of all its members. Transfer the relative constructible level recognition formula first by elementarity and then through the collapse isomorphism to identify its image. If $\rho =X\cap \mathrm{Ord}$, ordinal heights are $\rho +\alpha$ and $\rho +\beta$, giving the bound. Having only $X\in Y$ does not guarantee this base-fixing version.

If $X$ has a well-founded extensional inherited membership relation and $T\subseteq X$ is a transitive set, its Mostowski collapse theorem map $\pi$ fixes every member of $T$. The recursion $\pi (x)=\{\pi (y):y\in x\cap X\}$ and well-founded relation induction give this pointwise. If also $T\in X$, then $\pi (T)=T$.