依赖理论与泛型对猜想
逻辑
2013-12-25 v6
摘要
我们尝试通过“此类类型的分解定理”来理解依赖（先前称为 NIP）的完全一阶理论的某种饱和模型上的完全类型。我们的论题是，依赖理论的图景是稳定理论图景与稠密线性序或树的理论图景的结合（首先我们应尝试理解相当饱和的情形）。作为我们进展的度量，我们考虑若干检验问题给出一些应用；特别地我们尝试证明泛型对猜想，并对可测基数做到了这一点。
引用
@article{arxiv.math/0702292,
title = {Dependent theories and the generic pair conjecture},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0702292},
year = {2013}
}