SPFA by finite conditions
Tóm tắt
Itay Neeman (Norte Dame J Form Log 55:265–298, 2014) presented a new way of iterating of proper forcings. We would like to generalize it here to semi-proper.
Tài liệu tham khảo
Foreman, M., Magidor, M., Shelah, S.: Martin maximum. Ann. Math. 127(1), 1–47 (1988)
Neeman, I.: Forcing with sequences of models of two types. Norte Dame J. Form. Log. 55, 265–298 (2014)
Shelah, S.: Proper and Improper Forcing. Springer, Berlin (1998)