Bibliographie
J. Barwise & S. Feferman, Model-Theoretic Logics, Springer-Verlag, New York, 1985
C. C. Chang & H. J. Keisler, Model Theory, Elsevier Science, New York, 3e éd. 1990
G. Cherlin, Model-Theoretic Algebra, Springer, Berlin-New York, 1976
D. Lascar, Stability in Model Theory, Cambridge Univ. Press, 1987
D. Lascar & R. Cori, Logique mathématique, t. II : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles, Masson, Paris, 1993
A. I. Malcev, Algebraic Systems, Springer, 1977
M. Morley dir., Studies in Model Theory, Math. Ass. of America, Buffalo (N.Y.), 1973
B. Poizat, Cours de théorie des modèles : une introduction à la logique mathématique contemporaine, B. Poizat, Villeurbanne, 1985
A. Robinson, Complete Theories, Elsevier, 2e éd. 1977
S. Shelah, Classification Theory and the Number of Nonisomorphic Models, North Holland, Amsterdam, 1978.
Retour en haut
… pour nos abonnés, l'article se prolonge sur 11 pages…
