Раскладывающийся кардинал
-
Определение раскладываемого кардинала
- Кардинал κ является λ-разворачиваемым, если для каждой транзитивной модели M с мощностью κ существует нетривиальное элементарное вложение j, такое что j(κ) ≥ λ.
- Кардинал является сильно λ-разворачиваемым, если существует нетривиальное элементарное вложение j в транзитивную модель N с критической точкой j, равной κ, и V(λ) является подмножеством N.
-
Связь с другими кардинальными свойствами
- Кардинал является наименее разворачиваемым, если он больше, чем наименее неописуемый кардинал.
- Кардинал Рамсея является раскладываемым и сильно раскладываемым в L, но может быть не так просто развернуть в V.
- В L любой раскладывающийся элемент также является сильно раскладывающимся.
- Кардинал k является κ-сильно раскладываемым и κ-раскладываемым, если он слабо компактен.
- Кардинал, который является κ-сильно раскладываемым, но не κ-раскладываемым, является κ-неописуемым.
-
Рекомендации по форматированию
- Статья содержит инструкции по форматированию для википедии.
-
Цитаты
- Статья является заглушкой и просит помощи в расширении.