незавершенные работы по теории множеств

Вики

Сильно компактный кардинал

/

Сильно компактный кардинал Определение сильно компактного кардинала Сильно компактный кардинал — это большой кардинал, для которого каждый κ-полный фильтр расширяется […]

Вики

Кабал (теория множеств)

/

Заговор (теория множеств) Организация и деятельность группы «Клика» Группа «Клика» была сообществом теоретиков множеств в Южной Калифорнии.  Точные сведения о

Вики

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

/

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

Вики

Аксиома проективной детерминированности

/

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

Вики

Раскладной кардинал

/

Раскладывающийся кардинал Определение раскладываемого кардинала Кардинал κ является λ-разворачиваемым, если для каждой транзитивной модели M с мощностью κ существует нетривиальное

Вики

Сверхсильный кардинал

/

Сверхсильный кардинал Определение сверхсильного кардинала Сверхсильный кардинал κ определяется как элементное вложение j: V → M с критической точкой κ,

Вики

Тонкий кардинал

/

Тонкий кардинал Определение тонких кардиналов Тонкие кардиналы — это кардиналы, для которых существует бесконечное множество подмножеств с одинаковой мощностью.  Они

Вики

Сильный кардинал

/

Сильный кардинал Определение сильного кардинала Сильный кардинал — это большой кардинал, который ослабляет представление о суперкомпактном кардинале.  Сильный кардинал существует

Вики

Шела кардинал

/

Шела кардинал Определение кардинала Шелы Кардинал Шелы — это крупный кардинал, удовлетворяющий определенным условиям.  Для каждого отображения из κ в

Вики

Замечательный кардинал

/

Выдающийся кардинал Определение замечательного кардинала Кардинал κ называется замечательным, если существуют π, M, λ, σ, N, ρ такие, что выполняются

Вики

Кардинал Рэмси

/

Рэмси кардинал Определение кардинала Рамсея Кардинал Рамсея — это большое кардинальное число, введенное Эрдешем и Хайналом.  Обобщает теорему Рэмси, утверждающую,

Вики

Выдвижной кардинал

/

Расширяемый кардинал Определение расширяемых кардиналов Расширяемые кардиналы — большие кардиналы, введенные Рейнхардтом в 1974 году.  Представляют собой точки, после которых

Вики

Кардинал Рэмси

/

Рэмси кардинал Определение кардинала Рамсея Кардинал Рамсея — это большое кардинальное число, введенное Эрдешем и Хайналом.  Обобщает теорему Рэмси, утверждающую,

Вики

Аксиома реальной определенности

/

Аксиома реальной детерминированности Определение аксиомы реальной детерминированности Аксиома реальной детерминированности (ADR) является частью теории множеств.  Она утверждает, что в бесконечных

Вики

Аксиома проективной детерминированности

/

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

Вики

Ограничение размера

/

Ограничение по размеру Ограничение размера в теории множеств Ограничение размера — это концепция, разработанная для избежания парадокса Кантора.  Определяет «несогласованные

Вики

Матричное знание

/

Матрица Улама Определение матрицы Улама Матрица Улама — это набор подмножеств, индексированных по кардинальным числам.  Она используется для демонстрации свойств

Вики

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

/

Допустимый порядковый номер Определение допустимых ординалов Порядковый номер α является допустимым, если La является транзитивной моделью теории множеств Крипке-Платека.  α

Вики

Подкласс (теория множеств)

/

Подкласс (теория множеств) Подкласс — это класс, содержащийся в другом классе, аналогично подмножеству.  Отношение подкласса преобразует коллекцию всех классов в

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