@article{9181d4640cc947b3aa16ab854dd187c7,
title = "SPFA by finite conditions",
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.",
keywords = "Iteration, SPFA, Semi-proper forcing",
author = "Moti Gitik and Menachem Magidor",
note = "Publisher Copyright: {\textcopyright} 2016, Springer-Verlag Berlin Heidelberg.",
year = "2016",
month = aug,
day = "1",
doi = "10.1007/s00153-016-0485-8",
language = "אנגלית",
volume = "55",
pages = "649--661",
journal = "Archive for Mathematical Logic",
issn = "0933-5846",
publisher = "Springer New York",
number = "5-6",
}