Indestructibility and the level-by-level agreement between strong compactness and supercompactness

[bibtex key=ApterHamkins2002:LevelByLevel]

Can a supercompact cardinal κ be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above κ, then no, it cannot. Conversely, if one weakens the requirement either by demanding less indestructibility, such as requiring only indestructibility by stratified posets, or less level-by-level agreement, such as requiring it only on measure one sets, then yes, it can.

Leave a Reply

Your email address will not be published. Required fields are marked *