对于任意的λ>aleph_1,强制公理失败

摘要:是否有可能存在Forcing公理FA\_{aleph\_2}(K)?其中,K是保持aleph\_1和aleph\_2子集稳定性的迫力观念的类别。我们给出了否定的答案,事实上我们证明了对于任何正规的lambda>aleph\_1,即使要求不添加任何长度小于lambda的新序列,也会得到负面结果。

作者:Saharon Shelah

论文ID:math/0112286

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中