Cinquanta anni di Teoria dei Modelli
Carlo Toffalori; Stefano Leonesi; Sonia L'Innocente
Bollettino dell'Unione Matematica Italiana (2004)
- Volume: 7-A, Issue: 2, page 347-381
- ISSN: 0392-4041
Access Full Article
topAbstract
topHow to cite
topToffalori, Carlo, Leonesi, Stefano, and L'Innocente, Sonia. "Cinquanta anni di Teoria dei Modelli." Bollettino dell'Unione Matematica Italiana 7-A.2 (2004): 347-381. <http://eudml.org/doc/289360>.
@article{Toffalori2004,
abstract = {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.},
author = {Toffalori, Carlo, Leonesi, Stefano, L'Innocente, Sonia},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {8},
number = {2},
pages = {347-381},
publisher = {Unione Mastematica Italiana},
title = {Cinquanta anni di Teoria dei Modelli},
url = {http://eudml.org/doc/289360},
volume = {7-A},
year = {2004},
}
TY - JOUR
AU - Toffalori, Carlo
AU - Leonesi, Stefano
AU - L'Innocente, Sonia
TI - Cinquanta anni di Teoria dei Modelli
JO - Bollettino dell'Unione Matematica Italiana
DA - 2004/8//
PB - Unione Mastematica Italiana
VL - 7-A
IS - 2
SP - 347
EP - 381
AB - 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.
LA - ita
UR - http://eudml.org/doc/289360
ER -
References
top- BARWISE, J.- FEFERMAN, S., Model theoretic logics, Springer, Part A (1985), 1-120. Zbl0587.03001
- CINTIOLI, P. - TOFFALORI, C., Logica Matematica, McGraw-Hill Italia (2000).
- DONER, J.- HODGES, W., Alfred Tarski and decidable theories, J. Symbolic Logic, 53(1988), 20-135. Zbl0647.03001
- KEISLER, H. J., Elementi di Analisi Matematica, Piccin (1982).
- MANGIONE, C.- BOZZI, S., Storia della Logica, Garzanti, Milano (1993).
- MARCJA, A.- TOFFALORI, C., A guide to classical and modern Model Theory, Kluwer (2003). Zbl1023.03026
- ROBINSON, A., Introduzione alla Teoria dei Modelli e alla metamatematica dell’algebra, Boringhieri (1974).
- ROBINSON, A., Nonstandard analysis, North Holland (1974).
- TARSKI, A., A decision problem for elementary algebra and geometry, University of California Press (1951).
- TARSKI, A., Contributions to the theory of models, Indag. Math., 16(1954), 572-581 e 582-588. Zbl0058.24702
- VAUGHT, R., Model theory before 1945, Proceedings of Tarski Symposium, Amer. Math. Soc. (1974), 153-172. Zbl0306.02005
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.