Fondements de la logique positive
Itaï Ben Yaacov and Bruno Poizat
Source: J. Symbolic Logic Volume 72, Issue 4
(2007), 1141-1162.
Abstract
We revisit the foundations of positive model theory, introducing h-inductive sentences. These allow a considerably simplified presentation of positive model theory, as well as a characterisation of Hausdorff cats by an amalgamation property of their h-inductive theory.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1203350777
Digital Object Identifier: doi:10.2178/jsl/1203350777
Zentralblatt MATH identifier: 1139.03022
Mathematical Reviews number (MathSciNet): MR2371196
References
Itaï Ben Yaacov, Positive model theory and compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), pp. 85--118.
Mathematical Reviews (MathSciNet): MR1978944
Digital Object Identifier: doi:10.1142/S0219061303000212
Zentralblatt MATH: 1028.03034
--------, Simplicity in compact abstract theories, Journal of Mathematical Logic, vol. 3 (2003), pp. 163--191.
Mathematical Reviews (MathSciNet): MR2030083
Digital Object Identifier: doi:10.1142/S0219061303000297
Zentralblatt MATH: 1039.03032
--------, Thickness, and a categoric point of view of type-space functors, Fundamenta Mathematicae, vol. 179 (2003), pp. 199--224.
Mathematical Reviews (MathSciNet): MR2029322
--------, Lovely pairs of models: the non first order case, Journal of Symbolic Logic, vol. 69 (2004), pp. 641--662.
Mathematical Reviews (MathSciNet): MR2078914
Digital Object Identifier: doi:10.2178/jsl/1096901759
Project Euclid: euclid.jsl/1096901759
Zentralblatt MATH: 1073.03017
--------, Uncountable dense categoricity in cats, Journal of Symbolic Logic, vol. 70 (2005), pp. 829--860.
Mathematical Reviews (MathSciNet): MR2155268
Digital Object Identifier: doi:10.2178/jsl/1122038916
Project Euclid: euclid.jsl/1122038916
Zentralblatt MATH: 1084.03028
Itaï Ben Yaacov and Alexander Usvyatsov, Continuous first order logic and local stability,20??
Cheng-Chung Chang and Jerome H. Keisler, Model theory, North-Holland, 1973.
Mathematical Reviews (MathSciNet): MR532927
Aubert Daigneault and Donald Monk, Representation theory for polyadic algebras, Fundamenta Mathematicae, vol. 52 (1963), pp. 151--176.
Mathematical Reviews (MathSciNet): MR151373
Roland Fraïssé, Sur certaines relations qui généralisent l'ordre des nombres rationnels, Comptes Rendus de l'Académie des Sciences. Paris, vol. 237 (1953), pp. 540--542.
Mathematical Reviews (MathSciNet): MR57220
Wilfrid Hodges, Model theory, Cambridge University Press, 1993.
Mathematical Reviews (MathSciNet): MR1221741
Zentralblatt MATH: 0789.03031
Ehud Hrushovski, Simplicity and the Lascar group, prépublication, 1997.
Bjarni Jonsson, Universal relational systems, Mathematica Scandinavia, vol. 4 (1956), pp. 193--208.
Mathematical Reviews (MathSciNet): MR96608
Zentralblatt MATH: 0077.25302
--------, Homogeneous universal relational systems, Mathematica Scandinavia, vol. 8 (1960), pp. 137--142.
Mathematical Reviews (MathSciNet): MR125021
Zentralblatt MATH: 0173.00505
Klaus Kaiser, Über eine Verallgemeinerung der Robinsonschen Modellvervollständigung, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 37--48.
Mathematical Reviews (MathSciNet): MR238684
Jerome H. Keisler, Theory of models with generalized atomic formulas, Journal of Symbolic Logic, vol. 25 (1960), pp. 1--26.
Mathematical Reviews (MathSciNet): MR130169
Digital Object Identifier: doi:10.2307/2964333
Project Euclid: euclid.jsl/1183733824
Zentralblatt MATH: 0107.00803
Jerzy Los and R. Suszko, On the extending of models (IV), Fundamenta Mathematicae, vol. 44 (1957), pp. 343--347.
Mathematical Reviews (MathSciNet): MR89813
Michael Makkai and Gonzalo Reyes, First order categorical logic, Lectures Notes in Mathematics, 611, Springer, 1977.
Mathematical Reviews (MathSciNet): MR505486
Zentralblatt MATH: 0357.18002
Michael Morley and Robert Vaught, Homogeneous universal models, Mathematica Scandinavia, vol. 11 (1962), pp. 37--57.
Mathematical Reviews (MathSciNet): MR150032
Tölende Mustafin, Conditions de Jonsson généralisées et théories de Jonsson généralisées d'algèbres de Boole, Matematicheskie Trudy (Novosibirsk), (1998), pp. 135--197, (en russe), traduit en anglais dans Siberian Advances in Mathematics, vol. 10 (2000), pp. 1--58.
Tölende Mustafin and Ermek Nurkhaidarov, Description des théories de Jonsson de polygônes sur un groupe, Sbornik nauchnyh trudov, Qaragandy, 1995, (en russe).
Yerulan Mustafin, Quelques propriétés des théories de Jonsson, Journal of Symbolic Logic, vol. 67 (2002), pp. 528--536.
Mathematical Reviews (MathSciNet): MR1905152
Digital Object Identifier: doi:10.2178/jsl/1190150095
Project Euclid: euclid.jsl/1190150095
Anand Pillay, Forking in the category of existentially closed structures, Quaderni di Matematica, vol. 6 (2000).
Mathematical Reviews (MathSciNet): MR1930681
Zentralblatt MATH: 0986.03031
Bruno Poizat, Univers positifs, Journal of Symbolic Logic, vol. 71 (2006), pp. 969--976.
Mathematical Reviews (MathSciNet): MR2251549
Digital Object Identifier: doi:10.2178/jsl/1154698585
Project Euclid: euclid.jsl/1154698585
Zentralblatt MATH: 1110.03022
Maurice Pouzet, Modèle universel d'une théorie n-complète, Comptes Rendus de l'Académie des Sciences. Paris, série A, vol. 274 (1972), pp. 813--816.
Mathematical Reviews (MathSciNet): MR292662
Abraham Robinson, Complete theories, North Holland, 1956.
Mathematical Reviews (MathSciNet): MR75897
Zentralblatt MATH: 0070.02701
Saharon Shelah, The lazy model-theoretician guide to stability, Logique et Analyse, vol. 71--72 (1975), pp. 241--308.
Mathematical Reviews (MathSciNet): MR539969
Alfred Tarski, Arithmetical classes and types of mathematical systems, Abstracts of papers presented to the American Mathematical Society, vol. 55 (1949), p. 1192.
Alfred Tarski and Robert Vaught, Arithmetical extensions of relational systems, Compositio Mathematica, vol. 13 (1957), pp. 81--102.
Mathematical Reviews (MathSciNet): MR95121
