关于L\_{infty,omega\_1}等价非同构模型数量的研究
摘要：ZF一致的情况下，我们证明ZFC+GCH与以下陈述一致：对于每个k<ω，存在一个基数为aleph_1的模型，该模型与aleph_1个非同构模型在L_{infty,omega_1}等价上具有k个符合。为了得到这个结果，我们引入了梯子系统和与“标准”对应不同的着色方式，并证明了以下纯粹组合结果：对于每个质数p和正整数m，ZFC+GCH与存在一个具有p^m个两两不等价着色的“好”的梯子系统是一致的。
作者：Saharon Shelah and Pauli Vaisanen
论文ID：math/9908160
分类：Logic
分类简称：math.LO
提交时间：2007-05-23