Si illustrano gli sviluppi recenti della Teoria dei Modelli: classificazione, minimalità, o-minimalità e così via. Si descrivono le loro applicazioni ad Algebra, Analisi e Geometria.
We describe some recent developments of Model Theory (including classification, minimality, o-minimality) and their applications to Algebra, Analysis, Geometry.
@article{BUMI_2005_8_8A_1_149_0,
author = {Carlo Toffalori and Stefano Leonesi and Sonia L'Innocente},
title = {Teoria dei Modelli, Cultura (e Societ\`a?)},
journal = {Bollettino dell'Unione Matematica Italiana},
volume = {8-A},
year = {2005},
pages = {149-178},
zbl = {1202.01079},
mrnumber = {2144890},
language = {it},
url = {http://dml.mathdoc.fr/item/BUMI_2005_8_8A_1_149_0}
}
Toffalori, Carlo; Leonesi, Stefano; L'Innocente, Sonia. Teoria dei Modelli, Cultura (e Società?). Bollettino dell'Unione Matematica Italiana, Tome 8-A (2005) pp. 149-178. http://gdmltest.u-ga.fr/item/BUMI_2005_8_8A_1_149_0/
[1] - - , PRIMES is in P, preprint (2002). | MR 2123939 | Zbl 1071.11070
[2] - - - , Complexity and Real Computation, Springer, New York (1998). | MR 1479636 | Zbl 0819.68053
[3] - , Logica Matematica, McGraw-Hill, Italia (2000).
[4] - - , Cinquanta anni di Teoria dei Modelli, in Boll. Un. Mat. Ital., La Matematica nella Società e nella Cultura, Serie VIII, Vol. VII-A (Agosto 2004), 347-381. | MR 2144890
[5] , Model-Completeness, in Handbook of Mathematical Logic (a cura di ), North Holland, Amsterdam (1977), 139-180.
[6] - , A guide to classical and modern Model Theory, Kluwer (2003). | MR 1997808 | Zbl 1023.03026
[7] , Model Theory and exponentiation, Notices Amer. Math. Soc., 43 (1996), 753-759. | MR 1394389
[8] , Model Theory and Diophantine Geometry, Bull. Amer. Math. Soc., 34 (1997), 405-422. | MR 1458425 | Zbl 0884.03040