Слабо компактный кардинал
-
Определение и свойства слабокомпактных кардиналов
- Слабокомпактные кардиналы — это кардиналы, которые являются компактными в некотором строго возрастающем ординальном ряду.
- Они обладают свойством, что каждый набор предложений мощностью не более κ имеет модель.
- Они также обладают свойством, что каждый κ-полный фильтр является κ-полным ультрафильтром.
- Они являются сильно недоступными ветвящимися кардиналами.
-
Примеры и свойства
- 2κ является слабокомпактным кардиналом.
- Каждый слабокомпактный кардинал является отражающим и пределом отражающих кардиналов.
- Они остаются слабо компактными в L.
- Если V = L, то слабокомпактный кардинал также является 2-стационарным.
-
Рекомендации и форматирование
- Статья содержит инструкции по цитированию и форматированию.
- Ссылки на различные элементы статьи, включая идентификаторы и блокирующие элементы, также включены.
-
Цитаты
- Статья содержит цитаты, которые не являются частью основного текста и предназначены для выделения определенных фрагментов.