The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal

Mathematical Logic Quarterly

Volumn 51, Issue 5, 2005, Pages 493-498

  Hamkins, Joel D ^a   Woodin, W Hugh ^b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

ccc forcing; Forcing axiom; Weakly compact cardinal

Indexed keywords

EID: 24944520098     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.200410045     Document Type: Article

References (8)

1. J. Bagaria and S. D. Friedman, Generic absoluteness. Annals Pure Appl. Logic 108 (1-3), 3-13 (2001).
2. C. Chalons, Full set theory. Electronic preprint, 2000.
3. J. D. Hamkins, A simple maximality principle. J. Symbolic Logic 68 (2), 527-550 (2003).
4. L. Harrington and S. Shelah, Some exact equiconsistency results in set theory. Notre Dame J. Formal Logic 26, 178-188 (1985).
5. T. Jech, Set Theory, 3rd ed. Springer Monographs in Mathematics (Springer, Berlin 2003).
6. G. Leibman, Consistency Strengths of Maximality Principles. Ph. D. thesis, Graduate Center of the City University of New York, 2004.
7. R. Schindler, Forcing axioms and projective sets of reals. In: Proceedings of the Foundations of the Formal Sciences III: Complexity in Mathematics and Computer Science. Classical and New Paradigms of Computation and their Complexity Hierarchies, Trends in Logic 23 (B. Löwe, B. Piwinger, and T. Räsch, eds.), pp. 207 - 222 (Kluwer Academic Publishers, Dordrecht 2004).
8. J. Stavi and J. Väänänen, Reflection principles for the continuum. In: Logic and Algebra, AMS Contemporary Mathematics 302, pp. 59-84 (2001).