The consistency strength of MP_CCC( R )

DOI10.1215/00294527-2010-011MaRDI QIDQ985003zbMATH OpenOpenAlexFDO

Authors George Leibman

Publication date 20 July 2010

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2010-011

zbMATH Keywords

CCC-forcing extensioncountable chain conditionforcing axiomsmaximality principlemodal logic

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)

Recommendations

• A simple maximality principle
• On Foreman's maximality principle
• On a class of maximality principles
• Combined Maximality Principles up to large cardinals
• scientific article; zbMATH DE number 1827959

Cited in

(3)

• The modal logic of inner models
• Structural connections between a forcing class and its modal logic
• The modal logic of abelian groups

This page was built for publication: The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)

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