关于正则约化积的进一步结果
逻辑
2007-05-23 v1
摘要
作者借助组合原理 square^{b^*}_{lambda} 的有穷版本 square^{fin}_{lambda,D}，证明了以下命题的相对于超紧基数的一致性失败：对基数 lambda 上的所有正则滤子 D，若 M_i 与 N_i 是语言大小 <= lambda 的初等等价模型，则在 prod_i M_i/D 与 prod_i N_i/D 上长度为 lambda^+ 的 Ehrenfeucht-Fraïssé 博弈中，第二玩家有获胜策略。若此外有 2^{lambda}= lambda^+ 且 i<lambda 蕴含 |M_i|+|N_i| <= lambda^+，则这意味着这些超幂是同构的。
引用
@article{arxiv.math/0504200,
title = {More on regular reduced products},
author = {Juliette Kennedy and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0504200},
year = {2007}
}