Огромный кардинал
-
Определение и свойства огромных кардиналов
- Огромный кардинал — это кардинал, который не является ни конечным, ни счетным.
- Существует кардинальное число, которое является огромным для всех конечных чисел.
- Почти огромный кардинал подразумевает непротиворечивость принципа Вопенки.
-
Основные свойства огромных кардиналов
- Существует семь основных свойств, определяющих растяжимость и прочность огромных кардиналов.
- Corazza представила объект недвижимости A3.5, который находится между A3 и A4.
-
Согласованность и ω-огромные кардиналы
- Согласованность огромного кардинала подразумевает согласованность суперкомпактного кардинала.
- ω-огромный кардинал определяется как критическая точка элементарного вложения из ранга Vλ+1.
-
Мотивация и рекомендации
- Огромные кардиналы были мотивированы свойствами, связанными с математической логикой.
- Статья содержит рекомендации по форматированию и использованию библиографических описаний в HTML.