Сильно компактный кардинал - Википедия - Strongly compact cardinal

В теория множеств, филиал математика, а сильно компактный кардинал это определенный вид большой кардинал.

Кардинал κ сильно компактен тогда и только тогда, когда каждый κ-полный фильтр может быть расширен до κ-полного ультрафильтра.

Сильно компактные кардиналы изначально определялись в терминах бесконечная логика, куда логические операторы разрешено принимать бесконечно много операндов. Логика на обычный кардинал κ определяется требованием, чтобы количество операндов для каждого оператора было меньше κ; то κ сильно компактно, если его логика удовлетворяет аналогу компактность свойство финитарной логики. В частности, утверждение, которое следует из некоторой другой совокупности утверждений, должно также вытекать из некоторой подгруппы, имеющей мощность меньше κ.

Свойство сильной компактности можно ослабить, если потребовать выполнения этого свойства компактности, только если исходный набор утверждений имеет мощность ниже некоторого кардинала λ; тогда мы можем говорить о λ-компактности. Кардинал слабо компактный тогда и только тогда, когда она κ-компактна; это было первоначальное определение этой концепции.

Сильная компактность подразумевает измеримость, и подразумевается сверхкомпактность. Учитывая, что соответствующие кардиналы существуют, с ZFC согласуется либо то, что первый измеримый кардинал является сильно компактным, либо что первый сильно компактный кардинал является сверхкомпактным; Однако оба эти утверждения не могут быть верными. Измеримый предел сильно компактных кардиналов сильно компактен, но наименьший такой предел не сверхкомпактен.

Прочность консистенции сильной компактности строго выше, чем у Вуден кардинал. Некоторые теоретики множеств предполагают, что существование сильно компактного кардинала равно совместимо с существованием суперкомпактного кардинала. Однако доказательство маловероятно до тех пор, пока не будет разработана каноническая теория внутренней модели для суперкомпактных кардиналов.

Расширяемость является аналогом второго порядка сильной компактности.

Смотрите также

Рекомендации

  • Дрейк, Ф. Р. (1974). Теория множеств: Введение в большие кардиналы (Исследования по логике и основам математики; т. 76). Elsevier Science Ltd. ISBN  0-444-10535-2.