Сверхсильный кардинал

В математике кардинальное число κ называется сверхсильным тогда и только тогда, когда существует элементарное вложение j  : V → M из V в транзитивную внутреннюю модель M с критической точкой κ и ⊆ M.${\displaystyle V_{j(\kappa)}}$

Аналогично, кардинал κ является n-сверхсильным тогда и только тогда , когда существует элементарное вложение j  : V → M из V в транзитивную внутреннюю модель M с критической точкой κ и ⊆ M. Акихиро Канамори показал, что сила согласованности n+1-сверхсильного кардинала превышает силу согласованности n-огромного кардинала для каждого n > 0.${\displaystyle V_{j^{n}(\kappa)}}$

Эта статья по теории множеств — заглушка . Вы можете помочь Википедии, расширив ее.

• в
• т
• е