Teoria dei Modelli, Cultura (e Società?)
Carlo Toffalori; Stefano Leonesi; Sonia L'Innocente
Bollettino dell'Unione Matematica Italiana (2005)
- Volume: 8-A, Issue: 1, page 149-178
- ISSN: 0392-4041
Access Full Article
topAbstract
topHow to cite
topReferences
top- AGRAWAL, M. - KAYAL, N. - SAXENA, N., PRIMES is in P, preprint (2002). Zbl1071.11070MR2123939DOI10.4007/annals.2004.160.781
- BLUM, L. - CUCKER, F. - SHUB, M. - SMALE, S., Complexity and Real Computation, Springer, New York (1998). Zbl0819.68053MR1479636DOI10.1007/978-1-4612-0701-6
- CINTIOLI, P. - TOFFALORI, C., Logica Matematica, McGraw-Hill, Italia (2000).
- LEONESI, S. - L’INNOCENTE, S. - TOFFALORI, C., 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. MR2144890
- MACINTYRE, A., Model-Completeness, in Handbook of Mathematical Logic (a cura di J. Barwise), North Holland, Amsterdam (1977), 139-180.
- MARCJA, A. - TOFFALORI, C., A guide to classical and modern Model Theory, Kluwer (2003). Zbl1023.03026MR1997808DOI10.1007/978-94-007-0812-9
- MARKER, D., Model Theory and exponentiation, Notices Amer. Math. Soc., 43 (1996), 753-759. MR1394389
- PILLAY, A., Model Theory and Diophantine Geometry, Bull. Amer. Math. Soc., 34 (1997), 405-422. Zbl0884.03040MR1458425DOI10.1090/S0273-0979-97-00730-1