SPFA by finite conditions

DOI10.1007/S00153-016-0485-8MaRDI QIDQ506955zbMATH OpenOpenAlexFDO

Authors Menachem Magidor, Moti Gitik

Publication date 2 February 2017

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-016-0485-8

zbMATH Keywords

iterationsemi-proper forcingSPFA

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50)

Recommendations

• Semiproper forcing axiom implies Martin maximum but not PFA⁺
• Proper forcing
• On iterating semiproper preorders
• Shelah's work on non-semi-proper iterations. I
• Proper forcing remastered

Cites work

• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Forcing with sequences of models of two types
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I

Cited in

(3)

• Equivalence and lumpability of FSPNs
• MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES
• The \(P\)-ideal dichotomy, Martin's axiom and entangled sets

This page was built for publication: SPFA by finite conditions

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