The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal

DOI10.1002/malq.200410045zbMath1078.03042arXivmath/0403165OpenAlexW2032281556MaRDI QIDQ5693598

Joel David Hamkins, W. Hugh Woodin

Publication date: 26 September 2005

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

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

zbMATH Keywords

weakly compact cardinalforcing axiomequiconsistencyccc forcing

Mathematics Subject Classification ID

Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (10)

On a class of maximality principles ⋮ The modal logic of abelian groups ⋮ EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE ⋮ Cohen forcing and inner models ⋮ Closed maximality principles: implications, separations and combinations ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ Structural connections between a forcing class and its modal logic ⋮ The modal logic of forcing ⋮ THE MODAL LOGIC OF INNER MODELS ⋮ Tall cardinals

This page was built for publication: The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal