Cinquanta anni di Teoria dei Modelli
Toffalori, Carlo ; Leonesi, Stefano ; L'Innocente, Sonia
Bollettino dell'Unione Matematica Italiana, Tome 7-A (2004), p. 347-381 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

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.

Publié le : 2004-08-01
@article{BUMI_2004_8_7A_2_347_0,
     author = {Carlo Toffalori and Stefano Leonesi and Sonia L'Innocente},
     title = {Cinquanta anni di Teoria dei Modelli},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {7-A},
     year = {2004},
     pages = {347-381},
     zbl = {1192.03001},
     mrnumber = {2097992},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_2004_8_7A_2_347_0}
}

Toffalori, Carlo; Leonesi, Stefano; L'Innocente, Sonia. Cinquanta anni di Teoria dei Modelli. Bollettino dell'Unione Matematica Italiana, Tome 7-A (2004) pp. 347-381. http://gdmltest.u-ga.fr/item/BUMI_2004_8_7A_2_347_0/

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

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

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

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

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

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

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

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

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

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

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