Lovely pairs of models: the non first order case
Ben-Yaacov, Itay
J. Symbolic Logic, Tome 69 (2004) no. 1, p. 641-662 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We prove that for every simple theory T (or even simple thick compact abstract theory) there is a (unique) compact abstract theory T𝔓 whose saturated models are the lovely pairs of T. Independence-theoretic results that were proved in [ppv:pairs] when T𝔓 is a first order theory are proved for the general case: in particular T𝔓 is simple and we characterise independence.
Publié le : 2004-09-14
Classification:  simple theories,  lovely pairs,  03C45,  03C95 
@article{1096901759,
     author = {Ben-Yaacov, Itay},
     title = {Lovely pairs of models: the non first order case},
     journal = {J. Symbolic Logic},
     volume = {69},
     number = {1},
     year = {2004},
     pages = { 641-662},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1096901759}
}

Ben-Yaacov, Itay. Lovely pairs of models: the non first order case. J. Symbolic Logic, Tome 69 (2004) no. 1, pp.  641-662. http://gdmltest.u-ga.fr/item/1096901759/