Lovely pairs of models: the non first order case
Ben Yaacov, Itaï
HAL, hal-00357704 / Harvested from HAL
Text on HAL
We prove that for every simple theory $T$ (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\fP$ whose saturated models are the lovely pairs of $T$. Independence-theoretic results that were proved in [Ben Yaacov, Pillay, Vassiliev - Lovely pairs of models] when $T^\fP$ is a first order theory are proved for the general case: in particular $T^\fP$ is simple and we characterise independence.
Publié le : 2004-07-05
Classification:  simple theories,  lovely pairs,  03C45; 03C95,  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00357704,
     author = {Ben Yaacov, Ita\"\i },
     title = {Lovely pairs of models: the non first order case},
     journal = {HAL},
     volume = {2004},
     number = {0},
     year = {2004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00357704}
}

Ben Yaacov, Itaï. Lovely pairs of models: the non first order case. HAL, Tome 2004 (2004) no. 0, . http://gdmltest.u-ga.fr/item/hal-00357704/