Огромный кардинал
-
Определение и свойства огромных кардиналов
- Огромный кардинал — это кардинал, который не является суперкардиналом, но является кардиналом Вопенки.
- Существует множество аксиом, связанных с огромными кардиналами, включая аксиому I1 и аксиому I2.
- Огромные кардиналы обладают определенными свойствами, такими как свойство A2(κ) и свойство A6∗(κ).
-
Примеры и свойства
- Существуют примеры огромных кардиналов, включая почти n-огромные кардиналы и супер n-огромные кардиналы.
- Прочность консистенции огромных кардиналов возрастает от почти n-огромных до супер n-огромных.
-
ω-огромные кардиналы
- ω-огромные кардиналы определяются как критические точки элементарных вложений из определенных моделей.
- Теорема Кунена показывает, что ω-огромные кардиналы могут быть непоследовательными в ZFC, но их последовательность в ZF остается открытым вопросом.
-
Рекомендации по форматированию
- Статья содержит инструкции по форматированию для различных элементов, включая идентификаторы, блокирующие элементы и библиографическое описание.
-
Доступность копии статьи
- Автор предоставляет копию статьи с исправлениями на своей веб-странице.