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