SPFA by finite conditions

DOI10.1007/S00153-016-0485-8zbMath1403.03099OpenAlexW2337218727MaRDI QIDQ506955

Menachem Magidor, M. B. 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) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES

Cites Work

• Unnamed Item
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Forcing with sequences of models of two types

This page was built for publication: SPFA by finite conditions