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

Abstract

top
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.

How to cite

top

Toffalori, 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
  1. BARWISE, J.- FEFERMAN, S., Model theoretic logics, Springer, Part A (1985), 1-120. Zbl0587.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. Zbl0647.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). Zbl1023.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. Zbl0058.24702
  11. VAUGHT, R., Model theory before 1945, Proceedings of Tarski Symposium, Amer. Math. Soc. (1974), 153-172. Zbl0306.02005

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.