Сверхсильный кардинал
-
Определение сверхсильного кардинала
- Сверхсильный кардинал κ определяется как элементное вложение j: V → M с критической точкой κ, где V — транзитивная внутренняя модель M.
- n-сверхсильный кардинал κ определяется аналогично, но с n-кратным вложением j.
-
Акихиро Канамори о согласованности
- Канамори показал, что согласованность n + 1-сверхсильного кардинала выше согласованности n-огромного кардинала для любого n > 0.
-
Рекомендации по форматированию
- Статья содержит инструкции по форматированию для парсера Markdown.
- Упоминаются различные идентификаторы и стили для элементов статьи.
-
Заметка о статье
- Статья является заглушкой и призывает к расширению для Википедии.