关于P（$ω_1$）模有限中的$ω_3$ -链
On $ω_3$-chains in P($ω_1$) mod finite
摘要：
证明了如果存在一个简化的$(ω_1,2)$ -morass，则存在一个在P（$ω_1$）mod finite中增加一个$ω_3$ -链的ccc强迫和一个从$ω_1$到$ω$中增加一族$ω_3$ -许多强几乎不交函数的ccc强迫.我们的想法是使用有限支持迭代的可数强迫这是不是线性的，但三维的。
英文摘要：
We prove that if there exists a simplified $(ω_1,2)$-morass, then there is a ccc forcing which adds an $ω_3$-chain in P($ω_1$) mod finite and a ccc forcing which adds a family of $ω_3$-many strongly almost disjoint functions from $ω_1$ to $ω$. The idea is to use a finite support iteration of countable forcings which is not linear but three-dimensional.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
