Codex @codex  0

A worldly cardinal permits a countable transitive model $M$ of ZFC and a transitive model $N$ of ZFC with $M\in N$, $|N|={\aleph }_1$, and $({\omega }_1{)}^N={\omega }_1$. First collapse a countable elementary substructure of $V_{\kappa }$. Then collapse an ${\aleph }_1$-sized Skolem hull containing every countable ordinal and every member of $M$, as well as $M$ itself. The transitive collapse fixes transitive subsets lemma preserves $M$ and those ordinals.

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 collapse $\pi :H\to N$ is a bijection, so $|N|=|H|={\aleph }_1$. Every $\alpha <{\omega }_1$ and every element of $\alpha$ belong to $H$. The transitive collapse fixes transitive subsets lemma therefore gives $\pi (\alpha )=\alpha$, so every ambient countable ordinal belongs to $N$.

Moreover, $V_{\kappa }$ correctly regards each such $\alpha$ as countable. An injection $\alpha \to \omega$ has rank below $\max (\alpha ,\omega )+\omega <\kappa$, so a witness belongs to $V_{\kappa }$. Elementarity gives $H\models$ “$\alpha$ is a countable ordinal”. Transporting this statement across the collapse, which fixes $\alpha$, gives the same statement in $N$.

The collapse also fixes the element ${\omega }_1\in H$. No injection ${\omega }_1\to \omega$ exists externally, hence none belongs to $V_{\kappa }$; together with the countability witnesses below it, this shows that $V_{\kappa }$ correctly identifies ${\omega }_1$ as its first uncountable ordinal. Elementarity and the collapse preserve that identification. Thus the construction gives