Set theory stubs

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

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

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

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

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

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