Semiproper forcing axiom implies Martin maximum but not PFA+

DOI10.2307/2274385zbMath0625.03035OpenAlexW2037397013WikidataQ114589034 ScholiaQ114589034MaRDI QIDQ3026998

Saharon Shelah

Publication date: 1987

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274385

zbMATH Keywords

SPFAMartin's Axiomsemi proper forcing axiom

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (14)

Iterated forcing and normal ideals on \(\omega _ 1\) ⋮ Some remarks on openly generated Boolean algebras ⋮ Stationary reflection principles and two cardinal tree properties ⋮ Guessing and non-guessing of canonical functions ⋮ Incompatible bounded category forcing axioms ⋮ Strong analogues of Martin's axiom Imply Axiom R ⋮ Forcing axioms via ground model interpretations ⋮ Resurrection axioms and uplifting cardinals ⋮ Hierarchies of forcing axioms I ⋮ Collapsing \(\omega _2\) with semi-proper forcing ⋮ Simplified RCS iterations ⋮ Forcing axioms and stationary sets ⋮ Continuous tree-like scales ⋮ Strongly Baire trees and a cofinal branch principle

Cites Work

• Iterated forcing and changing cofinalities
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing

This page was built for publication: Semiproper forcing axiom implies Martin maximum but not PFA⁺