摘要：存在一个确界的偏序集合Q，它的每个可数子集都有严格的上界，使得存在一个满足连续链条件的强制意义，并且在这个强制模型中，存在一个与Q关于集合包含关系同构的基础的零理想。这是在强制论理论中Hechler经典结果的一个变体，对于稀疏理想的定理陈述已经由Bartoszynski和该作者证明了。
作者：Maxim R. Burke and Masaru Kada
论文ID：math/0211244
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中