论文部分内容阅读
本文研究K—Suslin树(K>ω_1)同ZF+┐AC的相对协调性问题。证明了这样的结论:“存在K—Suslin树+ZF+┐AC”(K>ω_1且为后继基数)相对于ZF系统是协调的。证明方法是在ZFC的一个可数传递模型M(M中存在K—Suslin树T)和其generic扩张M[G]之间构造一个模型N,即M(?)N(?)M[G],使得在N中T仍为K—Suslin树且N(?)+ZF+┐AC,于是便有N(?)存在K—Suslin树+ZF+┐AC。该问题的证明过程中主要采用了力迫法。