相依一阶理论（续）
逻辑
2013-02-20 v2
摘要
相依理论是指不具有独立性性质的一阶完全理论 T。此处的一个主要结果是：若我们用在一个更大模型中可定义集合在该模型上的迹来扩张 T 的一个模型，则保持其相依性。另一结果则说明了先前工作中定理里的共尾性限制是合理的，该定理称两两垂直不可辨序列在某些包含它们的模型中可具有任意对偶共尾性。
引用
@article{arxiv.math/0406440,
title = {Dependent first order theories, continued},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0406440},
year = {2013}
}
备注
65 pages