Notre Dame Journal of Formal Logic

The Consistency Strength of M P C C C ( R )

George Leibman

Abstract

The Maximality Principle M P C C C is a scheme which states that if a sentence of the language of ZFC is true in some CCC forcing extension V P , and remains true in any further CCC-forcing extension of V P , then it is true in all CCC-forcing extensions of V, including V itself. A parameterized form of this principle, M P C C C ( R ) , makes this assertion for formulas taking real parameters. In this paper, we show that M P C C C ( R ) has the same consistency strength as ZFC, solving an open problem of Hamkins. We extend this result further to parameter sets larger than R .

Article information

Source
Notre Dame J. Formal Logic, Volume 51, Number 2 (2010), 181-193.

Dates
First available in Project Euclid: 11 June 2010

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1276284781

Digital Object Identifier
doi:10.1215/00294527-2010-011

Mathematical Reviews number (MathSciNet)
MR2667905

Zentralblatt MATH identifier
1205.03059

Subjects
Primary: 03E35: Consistency and independence results 03E40: Other aspects of forcing and Boolean-valued models

Keywords
forcing forcing axioms modal logic

Citation

Leibman, George. The Consistency Strength of $\mathrm{MP_{CCC}}(\mathbb{R})$. Notre Dame J. Formal Logic 51 (2010), no. 2, 181--193. doi:10.1215/00294527-2010-011. https://projecteuclid.org/euclid.ndjfl/1276284781


Export citation

References

  • [1] Fitting, M., and R. L. Mendelsohn, First-Order Modal Logic, vol. 277 of Synthese Library, Kluwer Academic Publishers Group, Dordrecht, 1998.
  • [2] Hamkins, J. D., "A simple maximality principle", The Journal of Symbolic Logic, vol. 68 (2003), pp. 527--50.
  • [3] Jech, T., Set Theory, 3d edition, Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
  • [4] Kunen, K., Set Theory. An Introduction to Independence Proofs, vol. 102 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1980.
  • [5] Stavi, J., and J. Väänänen, "Reflection principles for the continuum", pp. 59--84 in Logic and Algebra, vol. 302 of Contemporary Mathematics, American Mathematical Society, Providence, 2002.