Предельный порядковый номер
- Порядковые числа используются для упорядочивания бесконечных множеств.
- Порядковые числа имеют свой собственный порядок и могут быть объединены.
- Первый несчетный порядковый номер обычно обозначается ω1.
- Ординалы вида ω2α при α > 0 являются пределами пределов и т.д.
- Классы ординалов-преемников и предельных ординалов исчерпывают весь класс ординалов.
- Предельные ординалы представляют собой «поворотный момент» в процедурах, использующих ограничивающие операции.
- Неразложимые ординалы включают аддитивно неразложимые, мультипликативно неразложимые и экспоненциально неразложимые числа.
Полный текст статьи: