关于互相稳定性的进一步研究

摘要：对Foreman和Magidor的一个结果进行扩展，我们证明在几乎线性迭代的核心模型中，以下结论成立。存在一个序列(S^n\_alpha : n0)，其中每个单独的S^n\_alpha是aleph\_{alpha+1}的一个包含无穷可数标准性点的稳定子集，并且对于所有极限lambda和所有f:lambda -> omega，当且仅当f的值域是有限的时，(S^{f(alpha)}\_alpha : alpha

作者：Ralf Schindler

论文ID：math/0104072

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

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