Content deleted Content added
←Created page with '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 An...' |
redirect: everything is covered in ordinal arithmetic Tag: New redirect |
||
| (12 intermediate revisions by 6 users not shown) | |||
Line 1:
#REDIRECT [[Ordinal arithmetic#Cantor normal form]]
| |||