Сверхсильный кардинал
В математике кардинальное число κ называется сверхсильным тогда и только тогда, когда существует элементарное вложение j : V → M из V в транзитивную внутреннюю модель M с критической точкой κ и ⊆ М .
Аналогично, кардинал κ является n-сверхсильным тогда и только тогда, когда существует элементарное вложение j : V → M из V в транзитивную внутреннюю модель M с критической точкой κ и ⊆ М . Акихиро Канамори показал, что сила согласованности n+1-сверхсильного кардинала превышает силу согласованности n-огромного кардинала для каждого n > 0.
Ссылки [ править ]
- Канамори, Акихиро (2003). Высшее бесконечное: большие кардиналы в теории множеств с самого начала (2-е изд.). Спрингер. ISBN 3-540-00384-3 .