On a class of maximality principles

DOI10.1007/S00153-017-0603-2zbMATH Open1496.03197arXiv1608.05691OpenAlexW2964295654MaRDI QIDQ1661688FDOQ1661688

Authors: Daisuke Ikegami, Nam Trang 

Publication date: 16 August 2018

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

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$.

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

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

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)

Cites Work

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

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)