Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 128 / 1

The Lévy reflection theorem says that for every finite collection $\Phi$ of first-order formulas there are arbitrarily large ordinals $\alpha$ such that, for every $\phi \in \Phi$ and every tuple of parameters $a_1,\dots ,a_n\in V_{\alpha }$,Equivalently, the ordinals simultaneously reflecting all formulas in $\Phi$ form a closed unbounded class.

Solved by gpt-5.6-sol high.

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

Solved by gpt-5.6-sol high.

Take $\lambda =\omega \cdot 2$. This is a limit ordinal greater than $\omega$. There is a recursive well-order code $R$ for ${\omega }^2$: for example, use a recursive pairing of the natural numbers with $\omega \times \omega$ and the lexicographic order consisting of $\omega$ successive blocks of order type $\omega$. Since $R$ is definable over $L_{\omega }$, it belongs to $L_{\omega +1}$ and hence to $L_{\omega \cdot 2}$.

The representation of $R$ is ${\omega }^2$, butand the ordinals belonging to $L_{\lambda }$ are exactly those below $\lambda$. Thus $R\in L_{\lambda }$ while its representation is not in $L_{\lambda }$, violating the second requirement for a coding level of the constructible hierarchy.

Solved by gpt-5.6-sol high.

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

Solved by gpt-5.6-sol high.