某些 aleph_0 稳定理论的 Borel 完备性
逻辑
2014-06-05 v3
摘要
我们研究 aleph_0-稳定理论，并证明如果 T 具有 eni-DOP 或是 eni-deep，则其可数模型类是 Borel 完备的。我们引入了 lambda-Borel 完备性的概念，并证明此类理论是 lambda-Borel 完备的。由此我们得出结论：对于所有无限基数 lambda，一个 aleph_0-稳定理论拥有 2^lambda 个大小为 lambda 且两两不 L(infinity,aleph_0) 等价的模型，当且仅当 T 具有 eni-DOP 或是 eni-deep。
引用
@article{arxiv.1211.0558,
title = {Borel completeness of some aleph_0 stable theories},
author = {Michael C. Laskowski and Saharon Shelah},
journal= {arXiv preprint arXiv:1211.0558},
year = {2014}
}
备注
[LwSh:1016]