Hostname: page-component-7c8c6479df-ph5wq Total loading time: 0 Render date: 2024-03-29T01:53:38.168Z Has data issue: false hasContentIssue false

Univers positifs

Published online by Cambridge University Press:  12 March 2014

Bruno Poizat*
Affiliation:
Institut Camille Jordan, Université Claude Bernard, 43, Boulevard Du 11 Novembre 1918, 69622 Villeurbanne-Cedex, France.E-mail:poizat@math.univ-lyonl.fr

Abstract

We define elementary extension and elementary equivalence in Positive Logic.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

RÉFÉRENCES

[1]Ben-Yaacov, Itay, Positive model theory and compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), pp. 85118.CrossRefGoogle Scholar
[2]Ben-Yaacov, Itay, Simplicity in compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), pp. 163191.CrossRefGoogle Scholar
[3]Ben-Yaacov, Itay, Thickness, and a categoric point of view of type-space functors, Fundamentae Mathematicae, vol. 179 (2003), pp. 199224.CrossRefGoogle Scholar
[4]Ben-Yaacov, Itay, Lovely pairs of models: the non first order case, this Journal, vol. 69 (2004), pp. 641662.Google Scholar
[5]Ben-Yaacov, Itaï and Poizat, Bruno, Fondements de la logique positive, 20??.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. 2342.Google Scholar
[8]Poizat, Bruno, Groupes stables, Nur al-mantiq wal-ma'rifah, 1987.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. 339388.Google Scholar
[10]Tarski, Alfred and Vaught, Robert, Arithmetical extensions of relational systems, Compositio Mathematica, vol. 13 (1957), pp. 81102.Google Scholar