Порядковые номера

Вики

Стационарный набор

/

Стационарный набор Определение и свойства стационарных множеств Стационарное множество – это множество, которое не изменяется при добавлении элементов.  Стационарные множества […]

Вики

Порядковый номер

/

Порядковый номер Определение ординалов фон Неймана Ординалы фон Неймана – это упорядоченные множества натуральных чисел, которые не имеют наибольшего элемента. 

Вики

Вычислимый порядковый номер

/

Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order

Вики

Предельный порядковый номер

/

Предельный порядковый номер Определение ординалов Ординалы – это упорядоченные множества натуральных чисел.  Порядковый номер – это число, которое указывает на

Вики

Обычный кардинал

/

Обычный кардинал Определение и свойства кардиналов Кардиналы – это мощности бесконечных множеств.  Алеф-нуль – это первый кардинал, обозначаемый как  ω 

Вики

Число Эпсилон

/

Эпсилон-число Определение и свойства эпсилон-чисел Эпсилон-числа – это порядковые номера, которые не являются предельными ординалами.  Они представляют собой упорядоченные множества,

Вики

Аддитивно неразложимый ординал

/

Аддитивно неразложимый порядковый номер Определение аддитивно неразложимых порядковых чисел Аддитивно неразложимое число α – это порядковое число, отличное от 0,

Вики

Нумерация с нуля

/

Нумерация, основанная на нуле Определение и использование нуля Нуль – это число, которое не имеет значения само по себе, но

Вики

Порядковый номер преемника

/

Порядковый номер преемника В теории множеств, последовательным порядковым номером α является наименьшее порядковое число, большее, чем α.  Порядковый номер-преемник называется

Вики

Порядковый предел

/

Предельный порядковый номер Порядковые числа используются для упорядочивания бесконечных множеств.  Порядковые числа имеют свой собственный порядок и могут быть объединены. 

Вики

Число Эпсилон

/

Эпсилон-число Эпсилон-числа – это порядковые номера, которые не являются строго порядковыми номерами.  Они представляют собой обобщение нормальных форм Кантора для

Вики

Тип заказа

/

Тип заказа Два упорядоченных множества X и Y имеют одинаковый тип порядка, если они изоморфны по порядку.  Тип упорядоченности хорошо

Вики

Непрерывная функция (теория множеств)

/

Непрерывная функция (теория множеств) Непрерывная функция в теории множеств представляет собой последовательность ординалов с предельными значениями, являющимися пределами всех значений