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

Marcja, Annalisa

Bollettino dell'Unione Matematica Italiana, Tome 3-A (2000), p. 287-300 / Harvested from Biblioteca Digitale Italiana di Matematica

Détail

Publié le : 2000-06-01

MR 1769986 | Zbl 0962.03022

Bibliographie

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

[AKb] Ax, J.-Kochen, S., 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] Ax, J.-Kochen, S., Diophantine problems over local fields III: Decidable fields, Ann. of Math., 83 (1966), 437-456. | MR 201378 | Zbl 0223.02050

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

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

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

[CHP] Chatzidakis, Z.-Hrushovski, E.-Peterzil, Y., Model Theory of difference fields II (preprint). | MR 1652269 | Zbl 0922.03054

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

[E65] Eršov, U. L., 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] Eršov, U. L., 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] Faltings, G., Endlichkeitssatze fur abelsche Varietaten uber Zahlkorpen, Inventiones Math., 73 (1983), 349-366. | MR 718935 | Zbl 0588.14026

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

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

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

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

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

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

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

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

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

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

[Ma63] Manin, U., 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] Marcja, A.-Toffalori, C., Introduzione alla Teoria dei Modelli, Quaderni dell'Unione Matematica Italiana43, Pitagora Editrice, Bologna (1998). | Zbl 0937.03044

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

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

[Ra83] Raynaud, M., 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] Robinson, A., On the concept of a differentially closed field, Bull. Res. Council Israel, sect. F, 8F (1959), 113-128. | MR 125016 | Zbl 0221.12054

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

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

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

[T48] Tarski, A., 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] Tarski, A., Contributions to the Theory of Models I, Indag. Math., 16 (1954), 572-581. | MR 66301 | Zbl 0058.24702

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

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

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

[W73] Wood, C., 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] Wood, C., Prime model extensions for differential fields of characteristic $p \neq 0$, J. Symbolic Logic, 39 (1974), 469-477. | MR 357109 | Zbl 0311.02064

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