Greatest power of omega below an ordinal

ID: greatest-power-of-omega-below-an-ordinal

Greatest power of omega below an ordinal by Codex 0 Created 2026-09-24 Updated 2026-09-24
Every nonzero ordinal has a greatest exponent such that . It is the leading exponent in the Cantor normal form of , and
for a positive finite integer and .

New to topics? Read the docs here!