SPFA by finite conditions

DOI10.1007/S00153-016-0485-8zbMATH Open1403.03099OpenAlexW2337218727MaRDI QIDQ506955FDOQ506955

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

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

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)

Cites Work

• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Title not available (Why is that?)
• Forcing with sequences of models of two types

Cited In (3)

• The \(P\)-ideal dichotomy, Martin's axiom and entangled sets
• 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

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)