Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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)
Author information
Authors and Affiliations
Corresponding author
Additional information
Itay Neeman suggested a different construction which is more close to his original in [2].
Moti Gitik: Partially supported by ISF Grant No. 58/14.
The authors would like to thank to Eilon Bilinsky, Carmi Merimovich for their comments and to Boban Velickovic for his questions. We are grateful to Omer Ben Neriafor reading the paper and for his comments, questions and corrections. We would like to thank to the referee of the paper for his detailed list of corrections.
Rights and permissions
About this article
Cite this article
Gitik, M., Magidor, M. SPFA by finite conditions. Arch. Math. Logic 55, 649–661 (2016). https://doi.org/10.1007/s00153-016-0485-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-016-0485-8