Article contents
Lovely pairs of models: the non first order case
Published online by Cambridge University Press: 12 March 2014
Abstract.
We prove that for every simple theory T (or even simple thick compact abstract theory) there is a (unique) compact abstract theory whose saturated models are the lovely pairs of T. Independence-theoretic results that were proved in [5] when
is a first order theory are proved for the general case: in particular
is simple and we characterise independence.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2004
References
REFERENCES
- 3
- Cited by