Нерекурсивный порядковый номер
-
Определение и свойства ординалов
- Ординалы — это упорядоченные множества натуральных чисел.
- Наименьший порядковый номер — это наименьший элемент в упорядоченном множестве ординалов.
- Наибольший ординал — это наибольший элемент в упорядоченном множестве ординалов.
-
Рекурсивные ординалы
- Рекурсивные ординалы — это ординалы, которые могут быть построены рекурсивно.
- Наименьший рекурсивный порядковый номер — это наименьший рекурсивный ординал.
- Наибольший рекурсивный порядковый номер — это наибольший рекурсивный ординал.
-
Стабильные ординалы
- Стабильные ординалы — это ординалы, для которых существует элементарная подструктура, отражающая их.
- Наименьший стабильный порядковый номер — это наименьший стабильный ординал.
- Существуют различные ослабления стабильных ординалов, включая (
- +
- 1
- )
- стабильные и (
- стабильные порядковые номера.
-
Большие нерекурсивные ординалы
- Существуют большие нерекурсивные порядковые номера, включая наименьший непроектируемый порядковый номер и порядковый номер разветвленного анализа.
- Существуют также порядковые номера, связанные с определенными математическими теориями, такими как
- K
- P
- ‘
- ω
- существует’
- и
- Z
- F
- C
- −
- .
Полный текст статьи: