Нерекурсивный порядковый номер

Оглавление1 Нерекурсивный порядковый номер1.1 Определение и свойства ординалов1.2 Рекурсивные ординалы1.3 Стабильные ординалы1.4 Большие нерекурсивные ординалы2 Нерекурсивный порядковый номер — Википедия […]

Нерекурсивный порядковый номер

  • Определение и свойства ординалов

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

    • Рекурсивные ординалы – это ординалы, которые могут быть построены рекурсивно. 
    • Наименьший рекурсивный порядковый номер – это наименьший рекурсивный ординал. 
    • Наибольший рекурсивный порядковый номер – это наибольший рекурсивный ординал. 
  • Стабильные ординалы

    • Стабильные ординалы – это ординалы, для которых существует элементарная подструктура, отражающая их. 
    • Наименьший стабильный порядковый номер – это наименьший стабильный ординал. 
    • Существуют различные ослабления стабильных ординалов, включая ( 
    • стабильные и ( 
    • стабильные порядковые номера. 
  • Большие нерекурсивные ординалы

    • Существуют большие нерекурсивные порядковые номера, включая наименьший непроектируемый порядковый номер и порядковый номер разветвленного анализа. 
    • Существуют также порядковые номера, связанные с определенными математическими теориями, такими как 
    • ‘ 
    • ω 
    • существует’ 
    • и 
    • − 

Полный текст статьи:

Нерекурсивный порядковый номер — Википедия

Оставьте комментарий

Прокрутить вверх