摘要:对于破坏2^lambda并在区间[lambda,2^lambda]中实现“许多正极化分割关系”的强制方法(在我们主要定理的(c)中将其准确界定),我们提出了一个推理方法。这个推理方法是[276]第1节结果的泛化,而且这里的推理是那里的“多基数”版本。
作者:Saharon Shelah, Lee Stanley
论文ID:math/9710216
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中