定義
- 基数 κ が supercompact であるとは,任意の γ>=κ に対して,γ-supercompact であること.
- γ-supercompact の定義は γ-supercompact (cardinal) を参照.
性質
注意
出典
Akihiro Kanamori, The Higher Infinite, Perspectives in Mathematical Logic, Springer, 1991.
Akihiro Kanamori, The Higher Infinite, Perspectives in Mathematical Logic, Springer, 1991.