Strong analogues of Martin's axiom Imply Axiom R

DOI10.2307/2273877zbMath0623.03049OpenAlexW2097116899WikidataQ114589054 ScholiaQ114589054MaRDI QIDQ3760538

Robert E. Beaudoin

Publication date: 1987

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

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

zbMATH Keywords

proper forcing axiomMartin's maximum\(PFA^ +\)stationary set reflexion principle

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (4)

Partial orderings with the weak Freese-Nation property ⋮ Filtration games and potentially projective modules ⋮ Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness ⋮ When countably paracompact, locally compact, screenable spaces are paracompact

Cites Work

• Semiproper forcing axiom implies Martin maximum but not PFA⁺

This page was built for publication: Strong analogues of Martin's axiom Imply Axiom R