模型的可爱对：非一阶情形
逻辑
2009-02-05 v1
摘要
我们证明，对于每个简单理论 （甚至简单的厚紧致抽象理论），存在一个（唯一的）紧致抽象理论 ，其饱和模型是 的可爱对。在 为一阶理论时于 \cite{ppv:pairs} 中证明的独立性理论结果，在一般情形下亦得到了证明：特别地， 是简单的，并且我们对独立性进行了刻画。
引用
@article{arxiv.0902.0119,
title = {Lovely pairs of models: the non first order case},
author = {Itaï Ben Yaacov},
journal= {arXiv preprint arXiv:0902.0119},
year = {2009}
}