Toffalori, Carlo and Leonesi, Stefano and L'Innocente, Sonia:
Cinquanta anni di Teoria dei Modelli
Bollettino dell'Unione Matematica Italiana Serie 8 7-A (2004) —La Matematica nella Società e nella Cultura, fasc. n.2, p. 347-381, Unione Mastematica Italiana (Italian)
pdf (538 Kb), djvu (452 Kb). | MR2097992 | Zbl 1192.03001
Sunto
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.
Referenze Bibliografiche
[1]
J. BARWISE-
S. FEFERMAN,
Model theoretic logics,
Springer, Part A (
1985), 1-120. |
Zbl 0587.03001[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 0647.03001[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 1023.03026[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 0058.24702[11]
R. VAUGHT,
Model theory before 1945,
Proceedings of Tarski Symposium,
Amer. Math. Soc. (
1974), 153-172. |
Zbl 0306.02005
Con il contributo del Ministero per i Beni e le Attività Culturali