On a class of maximality principles

DOI10.1007/S00153-017-0603-2MaRDI QIDQ1661688zbMATH OpenOpenAlexFDO

Authors Daisuke Ikegami, Nam Trang

Publication date 16 August 2018

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.05691

zbMATH Keywords

large cardinalsinner modelsforcing axiomsmaximality principles

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47) Generic absoluteness and forcing axioms (03E57)

Abstract: We study various classes of maximality principles, $mMP(kappa,Gamma)$, introduced by J.D. Hamkins, where $Gamma$ defines a class of forcing posets and $kappa$ is a cardinal. We explore the consistency strength and the relationship of $extsfMP(kappa,Gamma)$ with various forcing axioms when $kappainomega,omeg{a}_1$. In particular, we give a characterization of bounded forcing axioms for a class of forcings $Gamma$ in terms of maximality principles MP$(omeg{a}_1,Gamma)$ for $Sigm{a}_1$ formulas. A significant part of the paper is devoted to studying the principle MP$(kappa,Gamma)$ where $kappainomega,omeg{a}_1$ and $Gamma$ defines the class of stationary set preserving forcings. We show that MP$(kappa,Gamma)$ has high consistency strength; on the other hand, if $Gamma$ defines the class of proper forcings or semi-proper forcings, then by Hamkins, it is shown that MP$(kappa,Gamma)$ is consistent relative to $V=L$.

Recommendations

• A simple maximality principle
• Combined Maximality Principles up to large cardinals
• Closed maximality principles: implications, separations and combinations
• A Mid Version of Hamkins' Maximality Principle
• Combining resurrection and maximality

Cites work

• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• A simple maximality principle
• Absoluteness via resurrection
• Bounded forcing axioms as principles of generic absoluteness
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• Coding into 𝐾 by reasonable forcing
• Generic absoluteness and the continuum
• Iterated forcing and elementary embeddings
• Martin's maximum and definability in \(H(\aleph_2\))
• Martin's maximum revisited
• On resurrection axioms
• Resurrection axioms and uplifting cardinals
• SET MAPPING REFLECTION
• Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
• Set-theoretic geology
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
• The downward directed grounds hypothesis and very large cardinals
• The self-iterability of L[E]
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• Woodin’s axiom (*), or Martin’s Maximum, or both?

Cited in

(10)

• Remarks relevant to classical maximum principles
• A Mid Version of Hamkins' Maximality Principle
• On Foreman's maximality principle
• Maximality and refutability
• Closed maximality principles: implications, separations and combinations
• A simple maximality principle
• Combined Maximality Principles up to large cardinals
• Maximality principles in set theory
• Combining resurrection and maximality
• The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)

This page was built for publication: On a class of maximality principles

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