The necessary maximality principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal

  • J. D. Hamkins and H. W. Woodin, “The necessary maximality principle for c.c.c.\ forcing is equiconsistent with a weakly compact cardinal,” Mlq math. log. q., vol. 51, iss. 5, pp. 493-498, 2005.  
    @ARTICLE{HamkinsWoodin2005:NMPccc,
    AUTHOR = {Hamkins, Joel D. and Woodin, W. Hugh},
    TITLE = {The necessary maximality principle for c.c.c.\ forcing is equiconsistent with a weakly compact cardinal},
    JOURNAL = {MLQ Math. Log. Q.},
    FJOURNAL = {MLQ. Mathematical Logic Quarterly},
    VOLUME = {51},
    YEAR = {2005},
    NUMBER = {5},
    PAGES = {493--498},
    ISSN = {0942-5616},
    MRCLASS = {03E65 (03E55)},
    MRNUMBER = {2163760 (2006f:03082)},
    MRREVIEWER = {Tetsuya Ishiu},
    DOI = {10.1002/malq.200410045},
    URL = {http://dx.doi.org/10.1002/malq.200410045},
    eprint = {math/0403165},
    file = F,
    }

The Necessary Maximality Principle for c.c.c. forcing asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already true in the minimal extension containing the real. We show that this principle is equiconsistent with the existence of a weakly compact cardinal.

See related article on the Maximality Principle

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>