Almost Strong Properness

2020/11/02 by Mohammadpour, Rahman · 1 citation
#03E05 #03E35 #03E57 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2011.00842

Abstract

We introduce the forcing property "almost strong properness" which sits between properness and strong properness. As an application, we introduce a simple forcing with finite conditions to force \rm MRP.

Cited by

• New consequences of PFA(T^*)

Related

• The κ-Strongly Proper Forcing Axiom
• Properness under closed forcing
• Non-elementary proper forcing notions
• Preservation of Topological Properties by Strongly Proper Forcings
• Strongly proper forcing and some problems of Foreman