Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 69, Issue 3 (2004), 641-662.
Lovely pairs of models: the non first order case
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.
J. Symbolic Logic, Volume 69, Issue 3 (2004), 641-662.
First available in Project Euclid: 4 October 2004
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Ben-Yaacov, Itay. Lovely pairs of models: the non first order case. J. Symbolic Logic 69 (2004), no. 3, 641--662. doi:10.2178/jsl/1096901759. https://projecteuclid.org/euclid.jsl/1096901759