Forcing with matrices of countable elementary submodels
Forcing with matrices of countable elementary submodels
复制标题
使用可数基本子模型矩阵进行强制
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
S. Todorcevic
中科院分区：
文献类型：
--
作者：
Boriša Kuzeljević;S. Todorcevic
我们分析了有限矩阵的强迫概念$数学P$，这些有限矩阵的行由形式为$H_{heta}$的同构可数初等子模型组成。我们用这个偏序证明了强迫增加了一个Kurepa树$T$。此外，如果$mathcal P_c$是$mathcal P$只包含连续矩阵的子阶，则Kurepa树$T$几乎是苏斯林的，即$T$中任何反链的水平集在$omega_1$中不平稳。
We analyze the forcing notion $mathcal P$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_{ heta}$. We show that forcing with this poset adds a Kurepa tree $T$. Moreover, if $mathcal P_c$ is a suborder of $mathcal P$ containing only continuous matrices, then the Kurepa tree $T$ is almost Souslin, i.e. the level set of any antichain in $T$ is not stationary in $omega_1$.