Cantor normal form theorem: Difference between revisions

Revision as of 16:48, 25 September 2021

Latest revision as of 14:07, 27 November 2021

(2 intermediate revisions by 2 users not shown)

Line 1:

#REDIRECT [[Ordinal arithmetic#Cantor normal form]]

The '''Cantor normal form theorem''' is a theorem about [[ordinal arithmetic]] proven by [[Georg Cantor]] in 1897. It states that for every ordinal <math>\alpha>0</math>, there exist unique ordinals <math>\alpha_0,\alpha_1,\ldots,\alpha_n</math> for some <math>n\in\mathbb N</math>, such that <math>\alpha_0\ge\alpha_1\ge\ldots\alpha_n</math> and <math>\omega^{\alpha_0}+\omega^{\alpha_1}+\cdots+\omega^{\alpha_n}=\alpha</math>.<ref>M. Rathjen, [The Art of Ordinal Analysis https://www1.maths.leeds.ac.uk/~rathjen/ICMend.pdf] (p.4).</ref>

==References==

<references />

[[Category:Ordinal numbers]]

[[Category:Georg Cantor]]

[[Category:Mathematical theorems]]

{{math-stub}}