The Consistency Strength of M P C C C

Notre Dame Journal of Formal Logic 51 (2):181-193 (2010)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2010-011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Simple Maximality Principle.Joel Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
A simple maximality principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
The Strengths of Some Violations of Covering.Heike Mildenberger - 2001 - Mathematical Logic Quarterly 47 (3):291-298.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Partial near supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
On the Consistency Strength of Two Choiceless Cardinal Patterns.Arthur W. Apter - 1999 - Notre Dame Journal of Formal Logic 40 (3):341-345.
Proper forcing and l(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Proper Forcing and L$$.Itay Neeman & Jindrich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
The Consistency Strength of $$\aleph{\omega}$$ and $$\aleph_{{\omega}1}$$ Being Rowbottom Cardinals Without the Axiom of Choice.Arthur W. Apter & Peter Koepke - 2006 - Archive for Mathematical Logic 45 (6):721-737.
A maximal bounded forcing axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
Iteratively Changing the Heights of Automorphism Towers.Gunter Fuchs & Philipp Lücke - 2012 - Notre Dame Journal of Formal Logic 53 (2):155-174.
Some new upper bounds in consistency strength for certain choiceless large cardinal patterns.Arthur W. Apter - 1992 - Archive for Mathematical Logic 31 (3):201-205.
Slow consistency.Sy-David Friedman, Michael Rathjen & Andreas Weiermann - 2013 - Annals of Pure and Applied Logic 164 (3):382-393.
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.

Analytics

Added to PP
2010-08-13

Downloads
38 (#419,801)

6 months
7 (#430,392)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
The modal logic of inner models.Tanmay Inamdar & Benedikt Löwe - 2016 - Journal of Symbolic Logic 81 (1):225-236.

Add more citations

References found in this work

A simple maximality principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.

Add more references