Codex @codex  0

Let $T$ be ZFC together with the assertion of unboundedly many inaccessible cardinals. Given a model of $T$, if it has no inaccessible limit of inaccessibles, it already witnesses the required nonimplication. Otherwise let $\iota$ be its least inaccessible limit of inaccessibles and pass to its rank segment $V_{\iota }$.

Because $\iota$ is an inaccessible cardinal, $V_{\iota }$ satisfies ZFC. Its ordinals are precisely those below $\iota$, and below $\iota$ the inaccessible cardinals are unbounded by the choice of $\iota$. Inaccessibility of any smaller ordinal is absolute to this segment: it has the same subsets and functions on all smaller ordinals, as in strong-inaccessibility absoluteness from rank agreement. Thus $V_{\iota }$ satisfies the unbounded-inaccessibles assertion.

No smaller ordinal can be an inaccessible limit of inaccessibles, by minimality of $\iota$ and the same absoluteness. Also $\iota$ is not an ordinal of $V_{\iota }$ itself. ConsequentlyThis rank cutoff at the first inaccessible limit of inaccessibles proves $\mathrm{Con}(T)\Rightarrow \mathrm{Con}(T+\neg \mathrm{ILI})$. The soundness theorem for first-order logic then gives $T/⊢\mathrm{ILI}$ if $T$ is consistent. This is a model-theoretic relative-consistency argument, and does not infer external transitivity from mere consistency.

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$.

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 relative constructible level recognition. The finite coding conditions matter here: merely writing “every set is relatively constructible” inside an arbitrary transitive set does not ensure that its computations are correct.

Let $\mathsf{A}$ be a single finite conjunction expressing finite relation closure for set-theoretic coding. Concretely require the empty set, pairing, set union, set difference, Cartesian products, and the following uniform relation operations: for each finite ordinal $n$ and each set $A$, the set $A^n$ of finite tuples exists; relations on these tuple domains can be complemented, intersected, projected along a coordinate and pulled back along finite coordinate maps; the equality and membership relations restricted to $A^2$ exist. These are finitely many first-order closure assertions with $n$ quantified, not an axiom schema. Each operation is specified by its usual elementwise membership equivalence. Transitivity makes the operations correct externally. Finite tuple domains are also correct: every individual finite tuple is already present by pairing and union.

These conditions make satisfaction for a set structure absolute. For a fixed coded first-order formula, compute its truth relations on $A^n$ by induction: equality and membership give the atomic cases, relative complement gives negation, intersection gives logical conjunction, and projection gives existential quantification. All required truth tables exist by $\mathsf{A}$ and agree with the actual ones. Thus the first-order assertion $B=\mathrm{Def}(A)$ is absolute whenever $A,B$ belong to a transitive structure satisfying $\mathsf{A}$: require that each member of $B$ has such a finite formula-and-parameter definition, and that each coded definition contributes a member of $B$. Codes are finite objects; no truth predicate for the ambient universe is being used.

Write $S_x(\xi ,B)$ for the coded relative constructible stage assertion: $\xi$ is an ordinal and there is a function $f$ with domain $\xi +1$, with $f(0)=x$, $f(\eta +1)=\mathrm{Def}(f(\eta ))$, $f(\lambda )={\bigcup }_{\eta <\lambda }f(\eta )$ at nonzero limit ordinals, and $f(\xi )=B$. Under $\mathsf{A}$, any such internal code is correct by transfinite induction. Restrictions of a code to shorter domains exist by the relation operations. Define the one-free-variable first-order formulaAll displayed abbreviations expand into first-order formulas of the membership language.

Suppose $M$ is transitive, $X\in M$, and $M\models \Phi (X)$. Let $I$ be the externally defined set of indices of stage codes in $M$. It contains $0$, is downward closed by restricting codes, and has no largest member by the last conjunct. Thus $I$ is a nonzero limit ordinal $\alpha$. Correctness of stage codes gives $L_{\xi }(X)\in M$ for $\xi <\alpha$, hence $L_{\xi }(X)\subseteq M$ by transitivity. Conversely the exhaustion conjunct puts every $y\in M$ in some such level. Therefore

For the converse, every $L_{\alpha }(X)$ with nonzero limit $\alpha$ satisfies $\mathsf{A}$: each listed operation on parameters from one level is definable at finitely many later levels, still below $\alpha$. Moreover stage histories appear below every limit constructible level. Here is the essential limit step of that lemma. If the histories $f_{\eta }$ for $\eta <\lambda$ are available in $L_{\lambda }(X)$, the correct predicate $S_X$ defines their graph of endpoints as a subset of $L_{\lambda }(X)$. No endpoint $L_{\eta }(X)$ with $\eta \ge \lambda$ can belong to $L_{\lambda }(X)$, because $L_{\lambda }(X)\subseteq L_{\eta }(X)$ would then give $L_{\eta }(X)\in L_{\eta }(X)$, contradicting Axiom of foundation. The defined graph therefore has domain exactly $\lambda$. Adjoining its final pair $(\lambda ,L_{\lambda }(X))$ takes finitely many more stages. Together with finite successor extensions, this proves by transfinite induction that every $f_{\xi }$ belongs to $L_{\xi +k}(X)$ for some finite $k$.

Thus all histories for $\xi <\alpha$ belong to $L_{\alpha }(X)$. Exhaustion follows from continuity, and $\xi +1<\alpha$ supplies a larger represented stage. Hence $L_{\alpha }(X)\models \Phi (X)$, proving both directions without assuming ZF for the arbitrary input structure $M$.

A definable continuous hierarchy is a definable class function $\alpha \mapsto H_{\alpha }$ on the ordinals, with set-valued levels, such that $H_{\alpha }\subseteq H_{\beta }$ for $\alpha <\beta$ andfor nonzero limit ordinals. Its union is a definable class in set theory $H$. Often the definition additionally requires every level to be a transitive set; the following statement also works without that requirement.

The reflection theorem for definable hierarchies says that for any finite collection $\mathcal{F}$ of first-order formulas, there is a closed unbounded class of ordinals $\alpha$ such that, for every $\phi \in \mathcal{F}$ and every parameter tuple from $H_{\alpha }$,A useful justification is the witness-closure proof. Close $\mathcal{F}$ under subformulas. At each level and for each existential subformula, bound the least level containing a witness for each parameter tuple for which a witness exists in $H$. Axiom schema of replacement bounds these indices. Iterating the finitely many bounds through $\omega$ produces a limit level containing all required witnesses. Induction on the first-order formulas, equivalently the finite-formula version of the Tarski-Vaught test, yields agreement. Continuity gives closedness of the reflecting class, and starting above any prescribed ordinal gives unboundedness. This is finite reflection, not a claim that all first-order formulas reflect simultaneously in an arbitrary hierarchy.

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.

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.

False. Put $\alpha =\beta =1$ and $\gamma =\omega$. ThenThe two ordinals differ. The order of the factors matters in the distributive law for ordinal multiplication.

For ordinals, the inductive definition of ordinal addition isThe synthetic definition takes a well-order of type $\alpha$, followed by a disjoint well-order of type $\beta$, with every point of the first preceding the second. They agree by transfinite induction on $\beta$: the empty second order does nothing; adding its last point takes the successor; at a limit ordinal, the concatenated order is the union of its initial concatenations, whose types have the displayed supremum.

True. A useful fact is that squaring is strictly increasing on ordinals. If $A<B$, monotonicity in both arguments gives $A^2\le BA$, and strict increase in the right argument for the positive left factor $B$ gives $BA<B^2$. Hence $A^2<B^2$.

Suppose, for a contradiction, that $\alpha \beta <\beta \alpha$. Again using monotonicity and associativity of ordinal multiplication,This contradicts the hypothesized equality of the outer terms. Reversing the roles excludes $\beta \alpha <\alpha \beta$. If either factor is zero, they already commute. Therefore the commuting squares of ordinals property isThe proof uses monotonicity, which follows directly from the ordered-copy definition; it does not assume a cancellation law for ordinals.