具有 EF-等价非同构模型的理论
逻辑
2017-08-08 v3
摘要
我们“长期且大规模”的目标是刻画一阶理论 T（至少是可数 ones）使得：对每个序数 alpha，存在 lambda, M_1, M_2，使得 M_1, M_2 是 T 的势为 lambda 的非同构模型，且它们是 EF_{alpha, lambda}-等价的。我们预期如同主间隙中那样得到一个强对偶，即在非结构侧有更强、更好的例子，而在结构侧有 [Sh:c,XIII] 的平行结果。我们目前证明了对于 aleph_0-独立（=不强烈依赖）的 T，甚至对 PC(T_1, T)，非结构侧的一致性。
关键词
引用
@article{arxiv.math/0703477,
title = {Theories with EF-Equivalent Non-Isomorphic Models},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0703477},
year = {2017}
}