Стационарный набор
Стационарный набор Определение и свойства стационарных множеств Стационарное множество – это множество, которое не изменяется при добавлении элементов. Стационарные множества […]
Вики
Ordinal numbers
Вики
Порядковый номер
Порядковый номер Определение ординалов фон Неймана Ординалы фон Неймана – это упорядоченные множества натуральных чисел, которые не имеют наибольшего элемента.
Вики
Вычислимый порядковый номер
Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order
Вики
Предельный порядковый номер
Предельный порядковый номер Определение ординалов Ординалы – это упорядоченные множества натуральных чисел. Порядковый номер – это число, которое указывает на
Вики
Обычный кардинал
Обычный кардинал Определение и свойства кардиналов Кардиналы – это мощности бесконечных множеств. Алеф-нуль – это первый кардинал, обозначаемый как ω
Вики
Системы логики, основанные на порядковых числах
Логические системы, основанные на ординалах Основы ординальной логики Алан Тьюринг исследовал ординальные системы в своей докторской диссертации. Тьюринг не разработал
Вики
Порядковый анализ
Порядковый анализ Основы арифметики первого порядка Арифметика первого порядка – это система, которая включает в себя натуральные числа и операции
Вики
Нерекурсивный порядковый номер
Нерекурсивный порядковый номер Определение и свойства ординалов Ординалы – это упорядоченные множества натуральных чисел. Наименьший порядковый номер – это наименьший
Вики
Вычислимый порядковый номер
Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order
Вики
Теории итерированных индуктивных определений
Теории повторяющихся индуктивных определений Основы теории доказательств Теория доказательств изучает методы доказательства математических утверждений. В теории доказательств используются аксиомы и
Вики
Большой порядковый номер Веблена
Большой порядковый номер Веблена Определение большого порядкового номера Веблена Большой порядковый номер Веблена – это счетный порядковый номер, названный в
Вики
Малый порядковый номер Веблена
Малый порядковый номер Веблена Определение малого порядкового номера Веблена Малый порядковый номер Веблена – это большой счетный порядковый номер, названный
Вики
Порядковый номер Аккермана
Порядковый номер Аккермана Определение порядкового номера Аккермана Порядковый номер Аккермана – большой счетный порядковый номер, названный в честь Вильгельма Аккермана.
Вики
Число Эпсилон
Эпсилон-число Определение и свойства эпсилон-чисел Эпсилон-числа – это порядковые номера, которые не являются предельными ординалами. Они представляют собой упорядоченные множества,
Вики
Допустимый порядковый номер
Допустимый порядковый номер Определение допустимых ординалов Порядковый номер α является допустимым, если La является транзитивной моделью теории множеств Крипке-Платека. α
Вики
Большой счетный ординал
Большой счетный порядковый номер Определение порядковых чисел Порядковые числа – это математические объекты, которые упорядочивают множество натуральных чисел. Порядковый номер
Вики
Клубный набор
Клубный набор Определение и свойства кардинальных чисел Кардинальное число – это мощность множества. Множество с кардинальным числом κ имеет мощность
Вики
Аддитивно неразложимый ординал
Аддитивно неразложимый порядковый номер Определение аддитивно неразложимых порядковых чисел Аддитивно неразложимое число α – это порядковое число, отличное от 0,
Вики
Нумерация с нуля
Нумерация, основанная на нуле Определение и использование нуля Нуль – это число, которое не имеет значения само по себе, но
Вики
Первый неисчисляемый порядковый номер
Первый неисчислимый порядковый номер Определение и свойства кардинальных чисел Кардинальное число – это мощность множества. Существует бесконечное количество кардинальных чисел,
Вики
Функция Веблена
Функция Веблена Определение и свойства функции Веблена Функция Веблена представляет собой последовательность чисел, каждое из которых является суммой предыдущих чисел.