A simple maximality principle

DOI10.2178/JSL/1052669062MaRDI QIDQ3160552zbMATH OpenOpenAlexFDO

Authors Joel David Hamkins

Publication date 9 February 2005

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0009240, https://projecteuclid.org/euclid.jsl/1052669062

zbMATH Keywords

equiconsistencyforcingmaximality principle

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: In this paper, following an idea of Christophe Chalons, I propose a new kind of forcing axiom, the Maximality Principle, which asserts that any sentence phi holding in some forcing extension V^P and all subsequent extensions V^P*Q holds already in V. It follows, in fact, that such sentences must also hold in all forcing extensions of V. In modal terms, therefore, the Maximality Principle is expressed by the scheme (diamond box phi) implies (box phi), and is equivalent to the modal theory S5. In this article, I prove that the Maximality Principle is relatively consistent with ZFC. A boldface version of the Maximality Principle, obtained by allowing real parameters to appear in phi, is equiconsistent with the scheme asserting that V_delta is an elementary substructure of V for an inaccessible cardinal delta, which in turn is equiconsistent with the scheme asserting that ORD is Mahlo. The strongest principle along these lines is the Necessary Maximality Principle, which asserts that the boldface MP holds in V and all forcing extensions. From this, it follows that 0# exists, that x# exists for every set x, that projective truth is invariant by forcing, that Woodin cardinals are consistent and much more. Many open questions remain.

Recommendations

• On a class of maximality principles
• 0^# and some forcing principles
• A Mid Version of Hamkins' Maximality Principle
• Combined Maximality Principles up to large cardinals
• On Foreman's maximality principle

Cites work

• A universal extender model without large cardinals in V
• An Equivalent Form of Levy's Axiom Schema
• Bounded forcing axioms and the continuum
• scientific article; zbMATH DE number 1827959 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• The consistency strength of projective absoluteness
• Weak covering without countable closure

Cited in

(51)

• On a class of maximality principles
• Can we resolve the continuum hypothesis?
• Inner-model reflection principles
• Forcing and the universe of sets: must we lose insight?
• Infinite forcing and the generic multiverse
• Closed maximality principles and generalized Baire spaces
• Resurrection axioms and uplifting cardinals
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• The set-theoretic multiverse
• On Foreman's maximality principle
• Paraconsistent or paracomplete?
• Combined Maximality Principles up to large cardinals
• Kripke Models Built from Models of Arithmetic
• Forcing axioms and the continuum hypothesis
• Some Second Order Set Theory
• Natural internal forcing schemata extending ZFC: Truth in the universe?
• A maximal bounded forcing axiom
• The downward directed grounds hypothesis and very large cardinals
• Universally Baire sets and generic absoluteness
• CAN MODALITIES SAVE NAIVE SET THEORY?
• Hierarchies of (virtual) resurrection axioms
• 0^# and some forcing principles
• scientific article; zbMATH DE number 1827959 (Why is no real title available?)
• MAXIMAL COACTIONS
• Structural connections between a forcing class and its modal logic
• THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES
• Combining resurrection and maximality
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• When does every definable nonempty set have a definable element?
• Subcomplete forcing principles and definable well-orders
• The Cichoń diagram for degrees of relative constructibility
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Maximality principles in set theory
• Closed maximality principles: implications, separations and combinations
• The modal logic of forcing
• Internal Consistency and the Inner Model Hypothesis
• Choiceless large cardinals and set‐theoretic potentialism
• The modal logic of abelian groups
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• Mathematical modality: an investigation in higher-order logic
• Modal model theory
• Bounded forcing axioms and weak genericity
• On Recurrence Axioms
• Broad infinity and generation principles
• The _2-potentialist principle
• What is forcing potentialism?
• Reflection and recurrence
• A taxonomy for set-theoretic potentialism
• The modal logic of arithmetic potentialism and the universal algorithm
• On modal logics of model-theoretic relations
• The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)

This page was built for publication: A simple maximality principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3160552)