We show the property “is proper and preserves every -Souslin tree” is preserved by countable support iteration.
@article{bwmeta1.element.bwnjournal-article-fmv142i3p257bwm, author = {T. Miyamoto}, title = {$\omega$$\iota$-Sonslin trees under countable support iterations}, journal = {Fundamenta Mathematicae}, volume = {142}, year = {1993}, pages = {257-261}, zbl = {0809.03037}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv142i3p257bwm} }
Miyamoto, T. ωι-Sonslin trees under countable support iterations. Fundamenta Mathematicae, Tome 142 (1993) pp. 257-261. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv142i3p257bwm/
[00000] [1] U. Avraham, K. Devlin and S. Shelah, The consistency with CH of some consequences of Martin’s Axiom plus , Israel J. Math. 31 (1978), 19-33. | Zbl 0382.03040
[00001] [2] S. Shelah, Proper Forcing, Lecture Notes in Math. 940, Springer, 1982.