长的 EF-等价非同构模型
逻辑
2007-05-23 v2
摘要
人们对于构造基数为 lambda 但非同构、且在长度 alpha 的 Ehrenfeucht-Fraïssé 对策下等价（甚至对每个 alpha<lambda 均如此）的模型有颇多兴趣。因此在 G.C.H. 下我们知之甚详。我们此处处理在 ZFC 中证明的此类模型对的构造，并在温和条件下得到其存在性。
引用
@article{arxiv.math/0404222,
title = {A long EF-equivalence non isomorphic models},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0404222},
year = {2007}
}