加载中…
Assuming that holds and is -supercompact, we construct a generic extension of in which remains strongly inaccessible and for every infinite cardinal . In particular the rank-initial segment is a model of ZFC in which for every infinite cardinal .

生成讲解博客的中文版本

生成AI智能校验的中文版本