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

  • A. W. Apter and J. D. Hamkins, “Indestructibility and the level-by-level agreement between strong compactness and supercompactness,” J. Symbolic Logic, vol. 67, iss. 2, pp. 820-840, 2002.  
    @ARTICLE{ApterHamkins2002:LevelByLevel,
    AUTHOR = {Apter, Arthur W. and Hamkins, Joel David},
    TITLE = {Indestructibility and the level-by-level agreement between strong compactness and supercompactness},
    JOURNAL = {J. Symbolic Logic},
    FJOURNAL = {The Journal of Symbolic Logic},
    VOLUME = {67},
    YEAR = {2002},
    NUMBER = {2},
    PAGES = {820--840},
    ISSN = {0022-4812},
    CODEN = {JSYLA6},
    MRCLASS = {03E35 (03E55)},
    MRNUMBER = {1905168 (2003e:03095)},
    MRREVIEWER = {Carlos A. Di Prisco},
    DOI = {10.2178/jsl/1190150111},
    URL = {http://dx.doi.org/10.2178/jsl/1190150111},
    eprint = {math/0102086},
    }

Can a supercompact cardinal $\kappa$ 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 $\kappa$, 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 *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>