An variation for one souslin tree
An variation for one souslin tree
复制标题
一棵 souslin 树的变体
DOI：
10.2307/2586753
复制
发表时间：
1999
影响因子：
0.6
通讯作者：
Paul B. Larson
中科院分区：
文献类型：
--
作者：
Paul B. Larson
本文提出了Woodin [4]中强迫的一种变形形式，我们的强迫是一种最大型构造，其中每个模型条件选择一棵Souslin树。在扩展中，有一个Souslin树TG，这是所选择的Souslin树的模型中的通用的直接限制。在某种意义上，类属扩张是“存在一棵最小Souslin树”的极大模型，TG就是这棵最小树。特别是，在扩展这Souslin树的财产，迫使与它给出了一个模型的Souslin的假设。
Abstract We present a variation of the forcing as presented in Woodin [4], Our forcing is a ℙmax-style construction where each model condition selects one Souslin tree. In the extension there is a Souslin tree TG which is the direct limit of the selected Souslin trees in the models of the generic. In some sense, the generic extension is a maximal model of "there exists a minimal Souslin tree,” with TG being this minimal tree. In particular, in the extension this Souslin tree has the property that forcing with it gives a model of Souslin's Hypothesis.