Past exam of the mathematics course of the University of Cambridge / 2022 / ii / Paper 2 / 16F / a / Solution

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.

Solved by gpt-5.6-sol high.