Collapsing the cardinals of
arXiv:1601.03482 · doi:10.1142/S0219061315500075
Abstract
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 .