许多可数支撑的恰当力迫迭代保持 Souslin 树
逻辑
2013-09-03 v1
摘要
我们证明了许多可数支撑的恰当力迫（proper forcings）迭代保持 Souslin 树。我们建立了基于博弈的充分条件，并 drew 与其他保持性质的联系。我们提出了所谓 Case A 中可数支撑迭代的保持性质证明，该证明不需要将力迫分为添加实数的力迫和不添加实数的力迫。
引用
@article{arxiv.1309.0196,
title = {Many countable support iterations of proper forcings preserve Souslin trees},
author = {Heike Mildenberger and Saharon Shelah},
journal= {arXiv preprint arXiv:1309.0196},
year = {2013}
}
备注
44 pages