Geodesic
Cinquanta anni di Teoria dei Modelli
Bollettino della Unione matematica italiana, Série 8, 7A (2004) no. 2, pp. 347-381.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Che è la Teoria dei Modelli? E perché negli ultimi 50 anni (dal momento, cioè, della sua nascita ufficiale) vari ricercatori matematici le si sono dedicati con entusiasmo? Questo articolo traccia una breve storia di questa disciplina, e cerca di rispondere alle precedenti domande.
What is Model Theory? And why has it been fascinating several mathematicians since its beginning, more or less 50 years ago? This paper sketches a short history of Model Theory during these 50 years, and attempts an answer to the previous questions. 
@article{BUMI_2004_8_7A_2_a7,
     author = {Toffalori, Carlo and Leonesi, Stefano and L'Innocente, Sonia},
     title = {Cinquanta anni di {Teoria} dei {Modelli}},
     journal = {Bollettino della Unione matematica italiana},
     pages = {347--381},
     publisher = {mathdoc},
     volume = {Ser. 8, 7A},
     number = {2},
     year = {2004},
     zbl = {1192.03001},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2004_8_7A_2_a7/}
}
TY  - JOUR
AU  - Toffalori, Carlo
AU  - Leonesi, Stefano
AU  - L'Innocente, Sonia
TI  - Cinquanta anni di Teoria dei Modelli
JO  - Bollettino della Unione matematica italiana
PY  - 2004
SP  - 347
EP  - 381
VL  - 7A
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_2004_8_7A_2_a7/
LA  - it
ID  - BUMI_2004_8_7A_2_a7
ER  - 
%0 Journal Article
%A Toffalori, Carlo
%A Leonesi, Stefano
%A L'Innocente, Sonia
%T Cinquanta anni di Teoria dei Modelli
%J Bollettino della Unione matematica italiana
%D 2004
%P 347-381
%V 7A
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2004_8_7A_2_a7/
%G it
%F BUMI_2004_8_7A_2_a7
Toffalori, Carlo; Leonesi, Stefano; L'Innocente, Sonia. Cinquanta anni di Teoria dei Modelli. Bollettino della Unione matematica italiana, Série 8, 7A (2004) no. 2, pp. 347-381. http://geodesic.mathdoc.fr/item/BUMI_2004_8_7A_2_a7/

[1] J. Barwise- S. Feferman, Model theoretic logics, Springer, Part A (1985), 1-120. | Zbl

[2] P. Cintioli - C. Toffalori, Logica Matematica, McGraw-Hill Italia (2000).

[3] J. Doner- W. Hodges, Alfred Tarski and decidable theories, J. Symbolic Logic, 53(1988), 20-135. | Zbl

[4] H. J. Keisler, Elementi di Analisi Matematica, Piccin (1982).

[5] C. Mangione- S. Bozzi, Storia della Logica, Garzanti, Milano (1993).

[6] A. Marcja- C. Toffalori, A guide to classical and modern Model Theory, Kluwer (2003). | Zbl

[7] A. Robinson, Introduzione alla Teoria dei Modelli e alla metamatematica dell’algebra, Boringhieri (1974).

[8] A. Robinson, Nonstandard analysis, North Holland (1974).

[9] A. Tarski, A decision problem for elementary algebra and geometry, University of California Press (1951).

[10] A. Tarski, Contributions to the theory of models, Indag. Math., 16(1954), 572-581 e 582-588. | Zbl

[11] R. Vaught, Model theory before 1945, Proceedings of Tarski Symposium, Amer. Math. Soc. (1974), 153-172. | Zbl