Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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 .

Ancestors (8)

  1. Leading term of an ordinal
  2. Cantor normal form
  3. Ordinal
  4. Set theory
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8. Home