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