关于P($\omega_1$)模有限中的$\omega_3$-链
逻辑
2011-10-18 v2
摘要
我们证明，如果存在一个简化的-沼泽，那么存在一个ccc力迫，它在P()模有限中添加一个-链，并且存在一个ccc力迫，它添加一个由到的个强几乎不交函数族。其思想是使用一个可数力迫的有限支撑迭代，该迭代不是线性的，而是三维的。
引用
@article{arxiv.0811.0548,
title = {On $\omega_3$-chains in P($\omega_1$) mod finite},
author = {Bernhard Irrgang},
journal= {arXiv preprint arXiv:0811.0548},
year = {2011}
}
备注
There are some gaps in the proof which I am unable to fix