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.
Original language | English |
---|---|
Pages (from-to) | 649-661 |
Number of pages | 13 |
Journal | Archive for Mathematical Logic |
Volume | 55 |
Issue number | 5-6 |
DOIs | |
State | Published - 1 Aug 2016 |
Bibliographical note
Publisher Copyright:© 2016, Springer-Verlag Berlin Heidelberg.
Keywords
- Iteration
- SPFA
- Semi-proper forcing