Невыразимый кардинал
Невыразимый кардинал Определение и свойства кардиналов Кардинал — это бесконечное кардинальное число, которое может быть представлено как мощность множества. Кардиналы […]
Невыразимый кардинал Определение и свойства кардиналов Кардинал — это бесконечное кардинальное число, которое может быть представлено как мощность множества. Кардиналы […]
Вудин кардинал Определение кардиналов Вудина Кардиналы Вудина — это кардиналы, для которых существует транзитивный класс N и элементарное встраивание j
Огромный кардинал Определение и свойства огромных кардиналов Огромный кардинал — это кардинал, который не является ни конечным, ни счетным. Существует
Расширяемый кардинал Определение расширяемых кардиналов Расширяемые кардиналы — большие кардиналы, введенные Рейнхардтом в 1974 году. Представляют собой точки, после которых
Рэмси кардинал Определение кардинала Рамсея Кардинал Рамсея — это большое кардинальное число, введенное Эрдешем и Хайналом. Обобщает теорему Рэмси, утверждающую,
Аксиома проективной детерминированности Определение проективной детерминированности Проективная детерминированность — частный случай аксиомы детерминированности для проективных множеств. Аксиома PD утверждает, что
Список крупных основных объектов недвижимости Основные свойства в теории множеств Список свойств упорядочен по степени непротиворечивости аксиомы существования кардиналов. Существование
Большой кардинал Определение и свойства больших кардиналов Большие кардиналы — это трансфинитные кардинальные числа с определенными свойствами. Они часто считаются
Измеримый коэффициент Измеримые кардиналы — это кардиналы, которые могут быть измерены с помощью вероятностных мер. Измеримые кардиналы играют важную роль
Аксиома детерминированности Аксиома детерминированности утверждает, что каждое событие имеет определенную причину и следствие. Аксиома детерминированности связана с непротиворечивостью больших кардинальных
Недоступный кардинал Недоступность кардинала — свойство, определяющее, что кардинал не может быть описан в рамках теории множеств. Недоступность кардинала связана
Вселенная Гротендика Вселенная Гротендика — множество U с определенными свойствами, обеспечивающее набор для выполнения математических операций. Элементы вселенной Гротендика иногда
Равноудаленность В математической логике две теории равносильны, если их непротиворечивость связана друг с другом. Абсолютная непротиворечивость теории T не может