Article contents
Univers positifs
Published online by Cambridge University Press: 12 March 2014
Abstract
We define elementary extension and elementary equivalence in Positive Logic.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2006
References
RÉFÉRENCES
[1]Ben-Yaacov, Itay, Positive model theory and compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), pp. 85–118.CrossRefGoogle Scholar
[2]Ben-Yaacov, Itay, Simplicity in compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), pp. 163–191.CrossRefGoogle Scholar
[3]Ben-Yaacov, Itay, Thickness, and a categoric point of view of type-space functors, Fundamentae Mathematicae, vol. 179 (2003), pp. 199–224.CrossRefGoogle Scholar
[4]Ben-Yaacov, Itay, Lovely pairs of models: the non first order case, this Journal, vol. 69 (2004), pp. 641–662.Google Scholar
[6]Hils, Martin, Semifree actions of the free groups, À paraître dans Mathematical Logic Quaterly.Google Scholar
[7]Pillay, Anand, Forking in the category of existentially closed structures, Quaderni di Matematica, vol. 6 (2000), pp. 23–42.Google Scholar
[9]Poizat, Bruno, A la recherche de la structure intrinsèque de l'univers, Teoriia modelei v Kazaxstane, Sbornik naucnyx rabot posviaçennyx pamiati A. D. Taimanova, Eco Study, Almaty, 2006, pp. 339–388.Google Scholar
[10]Tarski, Alfred and Vaught, Robert, Arithmetical extensions of relational systems, Compositio Mathematica, vol. 13 (1957), pp. 81–102.Google Scholar
- 6
- Cited by