Marcja: Da Tarski a Hrushovski: Nascita e splendori della Teoria dei Modelli

Marcja, Annalisa:
Da Tarski a Hrushovski: Nascita e splendori della Teoria dei Modelli
Bollettino dell'Unione Matematica Italiana Serie 8 3-B (2000), fasc. n.2, p. 287-300, Unione Matematica Italiana (Italian)
pdf (255 Kb), djvu (186 Kb). | MR1769986 | Zbl 0962.03022

Referenze Bibliografiche

[AKa] J. AX-S. KOCHEN, Diophantine problems over local fields I, Am. J. Math., 87 (1965), 605-630. | MR 184930 | Zbl 0136.32805

[AKb] J. AX-S. KOCHEN, Diophantine problems over local fields II: A complete set of axioms for $p$-adic number theory, Am. J. Math., 87 (1965), 631-648. | MR 184931 | Zbl 0136.32805

[AKc] J. AX-S. KOCHEN, Diophantine problems over local fields III: Decidable fields, Ann. of Math., 83 (1966), 437-456. | MR 201378 | Zbl 0223.02050

[Bl] L. BLUM, Generalized Algebraic Theories, Thesis (1968) M.I.T. Press, Cambridge, MA.

[Bu92] A. BUIUM, Intersections in jet spaces and a conjecture of S. Lang, Annals of Math., 136 (1992), 557-567. | MR 1189865 | Zbl 0817.14021

[CH] Z. CHATZIDAKIS-E. HRUSHOVSKI, Model Theory of difference fields, Trans. Amer. Math. Soc., 351 Nr. 8 (1999) (in corso di stampa). | MR 1652269 | Zbl 0922.03054

[CHP] Z. CHATZIDAKIS-E. HRUSHOVSKI-Y. PETERZIL, Model Theory of difference fields II (preprint). | MR 1652269 | Zbl 0922.03054

[ES] P. EKLOF-G. SABBAGH, Model Completions and Modules, Ann. Math. Logic, 2 (1970-71), 251-295. | MR 277372 | Zbl 0227.02029

[E65] U. L. ERŠOV, On the elementary theory of maximal normed fields, Dokl. Akad. Nauk. SSSR, 165 (1965) (Traduzione inglese in Sov. Math. Dokl., 1390-1393). | MR 190140 | Zbl 0152.02403

[E67] U. L. ERŠOV, Fields with a solvable theory, Dokl. Akad. Nauk. SSSR, 174 (1967), 19-20 (Traduzione inglese in Sov. Math. Dokl., 8, 575-576). | MR 214575 | Zbl 0153.37201

[F83] G. FALTINGS, Endlichkeitssatze fur abelsche Varietaten uber Zahlkorpen, Inventiones Math., 73 (1983), 349-366. | MR 718935 | Zbl 0588.14026

[F94] G. FALTINGS, The general case of S. Lang's conjecture, in Barsotti Symposium in Algebraic Geometry, Academic Press, 1994. | MR 1307396 | Zbl 0823.14009

[Fi] E. FISHER, Abelian structures, Yale University 1974/75. | Zbl 0414.18001

[Hi88] M. HINDRY, Autour d'une conjecture de Serge Lang, Inventiones Math., 94 (1988), 575-603. | MR 969244 | Zbl 0638.14026

[H96] E. HRUSHOVSKI, The first order of the Frobenius (preprint 96).

[H96a] E. HRUSHOVSKI, The Mordell Lang conjecture for function fields, Journal of AMS, 9 (1996), 667-690. | MR 1333294 | Zbl 0864.03026

[H96b] E. HRUSHOVSKI, Difference fields and the Manin-Mumford conjecture (preprint 1996).

[La91] S. LANG, Number Theory III: Diophantine Geometry, Encyclopedia of Math. Sciences, 60, Springer Verlag (1991). | MR 1112552 | Zbl 0744.14012

[M] A. MACINTYRE, On algebraically closed groups, Ann. Math., 95 (1972), 53-97. | MR 317928 | Zbl 0254.20021

[M97] A. MACINTYRE, Generic automorphisms of fields, Ann. P. Appl. Logic, 88 (1997), 165-180. | MR 1600899 | Zbl 0891.03015

[M9x] A. MACINTYRE, Nonstandard Frobenius (in preparazione).

[Ma63] U. MANIN, Rational points of algebraic curves over function fields, Izv. Akad. Nauk SSSR, 27 (1963), 1395-1440 (Tranlations of AMS, 344 (1966), 189-234). | MR 157971 | Zbl 0178.55102

[MT] A. MARCJA-C. TOFFALORI, Introduzione alla Teoria dei Modelli, Quaderni dell'Unione Matematica Italiana 43, Pitagora Editrice, Bologna (1998). | Zbl 0937.03044

[Pi97] A. PILLAY, Model theory and diophantine geometry, Bull. Amer. Math. Soc., 34 (1997), 405-422. | MR 1458425 | Zbl 0884.03040

[P] M. PREST, Model Theory and Modules, London Mathematical Society Lecture Notes Series 130, Cambridge University Press (1988). | MR 933092 | Zbl 0634.03025

[Ra83] M. RAYNAUD, Sous-variétés d'une variété abélienne et points de torsion, in Arithmetic and Geometry, vol. I, Birkhauser (1983). | MR 717600 | Zbl 0581.14031

[R] A. ROBINSON, On the concept of a differentially closed field, Bull. Res. Council Israel, sect. F, 8F (1959), 113-128. | MR 125016 | Zbl 0221.12054

[Sa66] P. SAMUEL, Complements a un article de Hans Grauert sur la conjecture de Mordell, Pub. Math. IHES, 29 (1966), 55-62. | fulltext mini-dml | MR 204430 | Zbl 0144.20102

[S] A. SEIDENBERG, A new decision method for elementary algebra, Ann. Math. sec. 2, 60 (1954), 365-374. | MR 63994 | Zbl 0056.01804

[Sh] S. SHELAH, Uniqueness and characterization of prime models over sets for totally transcendental first-order theories, J. Symbolic Logic, 37 (1972), 107-113. | fulltext mini-dml | MR 316239 | Zbl 0247.02047

[T48] A. TARSKI, A decision method for elementary algebra and geometry (prepared for publication by J. C. C. Mc Kinsey), U.S. Air Force Project RAND, R-109, the RAND Corporation, Santa Monica, California (1948), iv+60 pp. | MR 28796 | Zbl 0035.00602

[T54] A. TARSKI, Contributions to the Theory of Models I, Indag. Math., 16 (1954), 572-581. | MR 66301 | Zbl 0058.24702

[Te] G. TERJANIAN, Un contre-example a une conjecture d'Artin, C.R. Acad. Sci. Paris Ser. A, 262 (1966), 612. | MR 197450 | Zbl 0133.29705

[To] C. TOFFALORI, Perché Hrushovski e Wilkie hanno vinto gli ultimi premi Karp, Quaderni Dipartimento di Matematica Università di Camerino 2 (1999).

[V] P. VOJTA, Integral points on subvarieties of semi-abelian varieties, Inventiones Math. | Zbl 1011.11040

[W73] C. WOOD, The model theory of differential fields of characteristic $p \neq 0$, Proc. Am. Math. Soc., 40 (1973), 577-584. | MR 329887 | Zbl 0273.02039

[W74] C. WOOD, Prime model extensions for differential fields of characteristic $p \neq 0$, J. Symbolic Logic, 39 (1974), 469-477. | fulltext mini-dml | MR 357109 | Zbl 0311.02064

[Z] M. ZIEGLER, Model theory of modules, Ann. Pure Appl. Logic, 26 (1984), 149-213. | MR 739577 | Zbl 0593.16019

bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Referenze Bibliografiche