超強力な枢機卿

数学において、基数κ は、臨界点κ と⊆ Mを持つ推移的内部モデルMへのVからの基本埋め込みj  : V → Mが存在する場合にのみ、超強 と呼ばれます。 ${\displaystyle V_{j(\kappa )}}$

同様に、κ 基数がn 超強であるためには、Vから、臨界点κ と⊆ Mを持つ推移的内部モデルMへの基本埋め込み j  : V → Mが存在する必要があります。金森明宏は、n+1 超強基数の一貫性の強さが、n > 0 のそれぞれについてn 巨大基数の一貫性の強さを上回ることを示しました。 ${\displaystyle V_{j^{n}(\kappa )}}$