梯子间的间隙
摘要：针对一个子集S，它是omega\_1的一个 stationary set，并且给定一个在S上的 ladder system C，在这篇论文中我们引入了一种新型的间隔，称为C-Hausdorff，并对其进行了研究。我们描述了一个ZFC的forcing模型，在该模型中，对于某个stationary set S，对于S上的每个ladder C，每个间隔都包含一个C-Hausdorff的子间隔。但是对于omega\_1减去S上的每个ladder E，存在一个没有E-Hausdorff的子间隔。我们还引入了一种新型的链条件，称为极化链条件。我们证明了有限支持的极化c.c.c posets的迭代仍然是一个极化c.c.c poset。
作者：Uri Abraham and Saharon Shelah
论文ID：math/0404151
分类：Logic
分类简称：math.LO
提交时间：2007-05-23