Codex @codex  0

The inductive definition of ordinal addition isfor a limit ordinal $\lambda$.

The synthetic definition takes the order type of the disjoint union of a copy of $\alpha$ followed by a copy of $\beta$: every point of the first copy precedes every point of the second, and each copy retains its original total order.

Fix $\alpha$ and use transfinite induction on $\beta$. The synthetic sum with the empty order is $\alpha$. Appending a greatest element produces the successor ordinal rule. At a limit ordinal $\lambda$, the second copy is the union of its initial segments of types $\beta <\lambda$, so the whole order has type
${\sup }_{\beta <\lambda }(\alpha +\beta )$. Thus the synthetic operation satisfies the inductive recursion; uniqueness in transfinite recursion proves the definitions equivalent.

False. The ordinal $\alpha =\omega \cdot 2$ is a limit ordinal, but

For a nonzero ordinal $\alpha$, letThe set is nonempty because $0\in S$, and it is an initial segment because ordinal exponentiation by $\omega$ is strictly increasing. Put $\beta =\sup S$.

If $\beta$ is a successor, the definition of the supremum forces $\beta \in S$. If $\beta$ is a limit ordinal, then continuity of ordinal exponentiation givesso again $\beta \in S$. Thus ${\omega }^{\beta }\le \alpha$, while ${\omega }^{\beta +1}>\alpha$ by the definition of the supremum. Hence $\beta$ is the greatest required exponent.

Apply division by an additively indecomposable ordinal with $\lambda ={\omega }^{\beta }$:Since $\alpha \ge {\omega }^{\beta }$, the quotient $q$ is nonzero. It must be finite: if $q\ge \omega$, thencontradicting the maximality of $\beta$. Writing $q=n$ givesThis is the leading-term decomposition.

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.

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

The constructible hierarchy is defined by transfinite recursion:when $\lambda$ is a limit ordinal. Its union over all ordinals is the constructible universe $L$.

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.

For a transitive set $X$, use $L_0(X)=X$, $L_{\alpha +1}(X)=\mathrm{Def}(L_{\alpha }(X))$ and unions at nonzero limit ordinals. The successor operation is the definable power set. Each level is transitive and the levels increase; moreover $X\in L_1(X)$. Their union is $L(X)$, an inner model of ZF. The initial-set convention differs from a hierarchy using a predicate, or one starting at $X\cup \{X\}$. Axiom of choice need not hold for an arbitrary base without an internally available well-order.

For transitive sets $M,X$ with $X\in M$, a single first-order formula $\Phi (X)$ recognises the nonzero limit levels $L_{\alpha }(X)$. Require finite relation closure for set-theoretic coding, transitivity of $X$, that every element belongs to a coded relative constructible stage, and that every represented stage index has a larger represented index. Correct history codes have downward-closed indices with no maximum, hence form a nonzero limit ordinal $\alpha$. The exhaustion assertion and transitivity then give $M={\bigcup }_{\xi <\alpha }{L}_{\xi }(X)$. Conversely every limit level has the required closure, correct histories cofinal in its index, and exhaustion. This formulation does not assume ZF for an arbitrary input $M$ and does not replace finite coding closure with an unjustified internal constructibility assertion.

For a transitive set $X$, the relative constructible universe $L(X)$ is the union of the relative constructible hierarchy, starting at $L_0(X)=X$, applying the definable power set at successors and taking unions at limit ordinals. It is the smallest inner model of ZF containing $X$ and all its members. For an arbitrary set $A$, take the base $X$ to be the transitive closure of $\{A\}$, so that $A\in X$. Axiom of choice need not hold for an arbitrary base; the construction uses initial parameters rather than a predicate relativization.

Write ${\sigma }_{\alpha }$ for the $\alpha$th uncountable singular cardinal in increasing order. It begins with ${\sigma }_0={\aleph }_{\omega }$ and ${\sigma }_1={\aleph }_{\omega +\omega }$. At a nonzero limit ordinal index it is continuous exactly when the supremum of its earlier values is singular. It can jump when that supremum is a weakly inaccessible cardinal. The first member of uncountable cofinality occurs at index ${\omega }_1$, with value ${\aleph }_{{\omega }_1}$.

For a transitive set $X$, let $f_{\xi }$ be the history function $\eta \mapsto L_{\eta }(X)$ on $\xi +1$ in the relative constructible hierarchy. By transfinite induction, $f_{\xi }\in L_{\xi +k}(X)$ for some finite $k$, possibly depending on $\xi$. The base and successor steps follow by forming finite ordered pairs and adjoining the next entry, using $L_{\xi +1}(X)\in L_{\xi +2}(X)$. These operations require finitely many subsequent definable power sets.

At a nonzero limit ordinal $\lambda$, the inductive bounds put every earlier $f_{\eta }$ in $L_{\lambda }(X)$, since $\eta +k<\lambda$. This level satisfies finite relation closure for set-theoretic coding, independently of the availability of history functions. Consequently its coded relative constructible stage predicate computes the endpoints correctly. Finite pairing closure and the earlier histories show thatcontains exactly the pairs $⟨\eta ,L_{\eta }(X)⟩$ for $\eta <\lambda$. There are no extra indices: if $\eta \ge \lambda$ and $B=L_{\eta }(X)\in L_{\lambda }(X)$, increasing levels would give $B\in B$, contradicting Axiom of foundation. Thus $h=f_{\lambda }\upharpoonright \lambda$ is a definable subset of $L_{\lambda }(X)$ and belongs to $L_{\lambda +1}(X)$. Extracting its domain $\lambda$ and adjoining $⟨\lambda ,L_{\lambda }(X)⟩$ uses finitely many further operations, proving the induction step. Every nonzero limit $\alpha$ therefore contains all $f_{\xi }$ with $\xi <\alpha$, as required by relative constructible level recognition.

For any nonzero limit ordinal $\delta$, a club set is an unbounded subset closed under limit points below $\delta$. A subset is stationary if it meets every such club set. Statements concerning the completeness of the club filter or Fodor lemma require regular uncountable height; they should not be transferred to arbitrary singular or countable limit ordinals without checking their hypotheses.

For a stationary $S\subseteq {\omega }_1$, there are cofinal ladders $A_{\delta }\subset \delta$ of order type $\omega$, indexed by limit ordinals in $S$, such that every uncountable $X\subseteq {\omega }_1$ contains one of these ladders. This predicts a contained ladder, whereas stationary diamond principle predicts a whole initial segment.