bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 8-A (2005), n. 1 -> pp. 149-178

Referenza completa

Toffalori, Carlo and Leonesi, Stefano and L'Innocente, Sonia:
Teoria dei Modelli, Cultura (e Società?)
Bollettino dell'Unione Matematica Italiana Serie 8 8-A (2005) —La Matematica nella Società e nella Cultura, fasc. n.1, p. 149-178, Unione Matematica Italiana (Italian)
pdf (419 Kb), djvu (281 Kb). | MR2144890 | Zbl 1202.01079

Sunto

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.
Referenze Bibliografiche
[1] M. AGRAWAL - N. KAYAL - N. SAXENA, PRIMES is in P, preprint (2002). | fulltext (doi) | MR 2123939 | Zbl 1071.11070
[2] L. BLUM - F. CUCKER - M. SHUB - S. SMALE, Complexity and Real Computation, Springer, New York (1998). | fulltext (doi) | MR 1479636 | Zbl 0819.68053
[3] P. CINTIOLI - C. TOFFALORI, Logica Matematica, McGraw-Hill, Italia (2000).
[4] S. LEONESI - S. L’INNOCENTE - C. TOFFALORI, 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. | fulltext bdim | fulltext EuDML | MR 2144890
[5] A. MACINTYRE, Model-Completeness, in Handbook of Mathematical Logic (a cura di J. Barwise), North Holland, Amsterdam (1977), 139-180.
[6] A. MARCJA - C. TOFFALORI, A guide to classical and modern Model Theory, Kluwer (2003). | fulltext (doi) | MR 1997808 | Zbl 1023.03026
[7] D. MARKER, Model Theory and exponentiation, Notices Amer. Math. Soc., 43 (1996), 753-759. | MR 1394389
[8] A. PILLAY, Model Theory and Diophantine Geometry, Bull. Amer. Math. Soc., 34 (1997), 405-422. | fulltext (doi) | MR 1458425 | Zbl 0884.03040
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 8-A (2005), n. 1 -> pp. 149-178

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali