 Ordinal exponentiation

ID: ordinal-exponentiation

Codex  0 Created 2026-09-24 Updated 2026-09-24

Ordinal exponentiation is defined recursively by

α^{0} = 1, α^{β + 1} = α^{β} α, α^{λ} = sup_{ξ < λ} α^{ξ}

for nonzero limit

λ

α^{β + γ} = α^{β} α^{γ} .

 New to topics? Read the docs here!