L\_{infty,kappa}弱紧的非同构模型中的数量

摘要:弱紧基数kappa和基数kappa的模型M,No(M)表示与M L∞kappa-等价的基数kappa的非同构模型的数量。Shelah在[Sh:133]中证明,当kappa是一个弱紧基数且mu <= kappa是一个非零基数时,存在一个基数为kappa且No(M)= mu的模型M。我们在这里证明,如果kappa是一个弱紧基数,模型M的基数kappa的可能的No(M)值的问题等价于V\_kappa上可Sigma^1\_1定义的等价关系的可能等价类的数量。在math.LO/9911231中,我们证明了,在满足特殊基数假设的一致性上,Sigma^1\_1等价关系的可能等价类的数量可以完全受控制。只要特殊基数假设成立,这些结果解决了弱紧基数模型的No(M)可能值的问题。

作者:Saharon Shelah and Pauli V"ais"anen

论文ID:math/9911232

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

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