Many countable support iterations of proper forcings preserve Souslin trees
From MaRDI portal
Publication:386631
DOI10.1016/j.apal.2013.08.002zbMath1323.03060arXiv1309.0196MaRDI QIDQ386631
Saharon Shelah, Heike Mildenberger
Publication date: 10 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1309.0196
creature forcing; games played on forcing orders; non-elementary proper forcing; preservation theorems for trees on \(\aleph_1\)
03E35: Consistency and independence results
03E05: Other combinatorial set theory
03E17: Cardinal characteristics of the continuum
03E40: Other aspects of forcing and Boolean-valued models