The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)

DOI10.1215/00294527-2010-011zbMath1205.03059OpenAlexW2001257823MaRDI QIDQ985003

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

modal logicforcing axiomscountable chain conditionmaximality principleCCC-forcing extension

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)

Related Items (3)

The modal logic of abelian groups ⋮ Structural connections between a forcing class and its modal logic ⋮ THE MODAL LOGIC OF INNER MODELS

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