Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 121 / 1

For parameters $a_1,\dots ,a_n\in M$, set-theoretic absoluteness means agreement of the two membership first-order structures:This must hold for every such parameter tuple. Equivalently, formula relativization to a class produces two formulas ${\phi }^M$ and ${\phi }^N$ whose truth values agree on tuples from $M$. Agreement for parameters only in $N\setminus M$ is not part of the definition. For a proper class in set theory, this notation is understood separately for each fixed first-order formula, rather than as an unrestricted truth predicate for the entire universe.

A syntactically bounded formula in set theory is built from the atomic first-order formulas $u=v$ and $u\in v$ using Boolean operations and bounded quantifiers $\exists u\in v$ and $\forall u\in v$. These abbreviate $\exists u(u\in v\wedge \cdots )$ and $\forall u(u\in v\Rightarrow \cdots )$, with $u$ different from the bounding variable $v$.

The superscript in the question allows provable equivalence: a ZF-equivalent bounded formula is any first-order formula $\phi (\vec{v})$ for which some syntactically bounded formula in set theory $\psi (\vec{v})$ satisfiesThus ${\Delta }_0^{\mathrm{ZF}}$ is the class of first-order formulas equivalent over ZF to a syntactic ${\Delta }_0$ first-order formula. If a convention uses ${\Delta }_0^{\mathrm{ZF}}$ just for syntactically bounded set-theoretic first-order formulas, it is the smaller syntactic class; the subsequent set-theoretic absoluteness proof works for both conventions.

The Von Neumann hierarchy is the following transfinite recursion on the ordinals:Here $\mathcal{P}$ denotes the full power set. The levels are increasing transitive sets, and the construction is continuous at limit ordinals. Transfinite induction proves these properties: transitivity at a successor follows because a member of a subset of $V_{\alpha }$ already belongs to $V_{\alpha }\subseteq \mathcal{P}(V_{\alpha })$; at a limit it follows from the set union of increasing transitive sets. In ZF, Axiom of foundation and Axiom schema of replacement ensure that every set belongs to some $V_{\alpha }$. In terms of the rank of a set, $x\in V_{\alpha }$ exactly when $\mathrm{rank}(x)<\alpha$.

First prove set-theoretic absoluteness for syntactically bounded formulas in set theory by induction on their construction. Atomic equality and membership use the actual equality and membership relations in both transitive classes. Boolean operations preserve agreement.

For the bounded existential step, take $a\in M$ and suppose $N\models \exists u\in a\psi (u,\vec{b})$. Its witness $c$ is an actual member of $a$. Since $M$ is a transitive class, $c\in M$; the induction hypothesis then gives $M\models \psi (c,\vec{b})$. The converse uses the same witness in $N$. The bounded universal step follows similarly because both structures quantify over exactly the actual members of $a$, or follows by negation from the existential step. HenceNo ZF axioms are needed for this syntactic statement beyond the ambient meaning of a transitive class. For a ZF-equivalent bounded formula $\phi$, choose a bounded equivalent $\psi$. The assumption that both structures model ZF gives ${\phi }^M\leftrightarrow {\psi }^M$ and ${\phi }^N\leftrightarrow {\psi }^N$. Combining these with the displayed equivalence proves the asserted set-theoretic absoluteness of ${\Delta }_0^{\mathrm{ZF}}$.

The essential fact is absoluteness of cardinalhood in limit ranks. Let $\alpha \le \beta$ be limit ordinals and $x\in V_{\alpha }$. Being an ordinal is absolute between these transitive sets, so a non-ordinal is a cardinal number in neither structure. For an ordinal $\delta \in V_{\alpha }$, we have $\delta <\alpha$.

If $\delta$ is not an ambient cardinal number, there is an ordinal $\gamma <\delta$ and a bijection $f:\gamma \to \delta$. With Kuratowski ordered pairs, its graph has rank of a set at most $\delta +3$. Since $\alpha$ is a limit ordinal, $\delta +3<\alpha$, so $f\in V_{\alpha }$. The assertion that $f$ is such a bijection is a bounded formula in set theory and is therefore evaluated correctly by each rank. Conversely, any internal bijection witnessing failure of cardinal number status is an actual one by the same set-theoretic absoluteness. ConsequentlyUnlike arbitrary transitive models, these rank-initial structures contain every sufficiently low-rank witness. That witness availability is what upgrades the usual downward absoluteness of cardinalhood to agreement in both directions.

Use the standard convention that a strongly inaccessible cardinal is uncountable, regular and strong limit. The printed explanatory definition omits uncountability: literally it also admits $\kappa =\omega$, for which no finite cardinal is a worldly cardinal. Thus that omission makes the requested conclusion false under the literal abbreviated definition. The proof below applies to the usual, intended strongly inaccessible cardinal convention $\kappa >\omega$.

First $|V_{\gamma }|<\kappa$ for every $\gamma <\kappa$. At successor stages this follows from the strong limit cardinal property, and at limits from the regular cardinal property. Consequently $V_{\kappa }\models \mathsf{ZFC}$. In particular, for Axiom schema of replacement, a domain $a\in V_{\kappa }$ has size less than $\kappa$, so its functional image has fewer than $\kappa$ elements, so the supremum of the rank of a set over its elements is below $\kappa$ by regular cardinal structure. All other axioms, including axiom of choice, have their witnesses at bounded ranks below $\kappa$; uncountability supplies axiom of infinity.

Enumerate the first-order formulas as ${\phi }_0,{\phi }_1,\dots$. For each finite collection, reflection inside the set structure $V_{\kappa }$ gives a closed unbounded subset of $\kappa$ of agreeing ranks. To see why the witness bounds stay below $\kappa$, there are fewer than $\kappa$ parameter tuples at each $V_{\gamma }$, and the supremum of their least witness ranks remains below $\kappa$ by regular cardinal structure. Closing under these bounds and taking increasing countable limits gives the usual reflection theorem for definable hierarchies argument. The countable intersection of these closed unbounded subsets is still closed unbounded because $\kappa$ is regular and uncountable. At each resulting $\alpha$,The infinite cardinal numbers below $\kappa$ also form a closed unbounded subset: they are unbounded because ${\lambda }^{+}\le 2^{\lambda }<\kappa$ for infinite $\lambda <\kappa$, and a supremum of increasing cardinal numbers is a cardinal number. Intersect the two closed unbounded subsets. Every member of the intersection is a worldly cardinal, and an unbounded subset of a regular cardinal $\kappa$ has size $\kappa$. HenceIn fact this proves the stronger worldly cardinals below an inaccessible cardinal result that these worldly cardinals contain a closed unbounded subset of $\kappa$.