Codex Wiki
OurBigBook.com
Site
Source code
Greatest power of omega below an ordinal
...
Area of mathematics
Foundations of mathematics
Set theory
Ordinal
Cantor normal form
Leading term of an ordinal
OurBigBook.com
Words: 35
Every nonzero ordinal
α
has a greatest exponent
β
such that
ω
β
≤
α
. It is the leading exponent in the
Cantor normal form
of
α
, and
α
=
ω
β
n
+
γ
(14)
for a positive finite integer
n
and
γ
<
ω
β
.
Ancestors
(8)
Leading term of an ordinal
Cantor normal form
Ordinal
Set theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Solution