Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

On model complete differential fields


Authors: E. Hrushovski and M. Itai
Journal: Trans. Amer. Math. Soc. 355 (2003), 4267-4296
MSC (2000): Primary 03C60, 12H05
DOI: https://doi.org/10.1090/S0002-9947-03-03264-1
Published electronically: July 8, 2003
MathSciNet review: 1990753
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We develop a geometric approach to definable sets in differentially closed fields, with emphasis on the question of orthogonality to a given strongly minimal set. Equivalently, within a family of ordinary differential equations, we consider those equations that can be transformed, by differential-algebraic transformations, so as to yield solutions of a given fixed first-order ODE $X$. We show that this sub-family is usually definable (in particular if $X$ lives on a curve of positive genus). As a corollary, we show the existence of many model-complete, superstable theories of differential fields.


References [Enhancements On Off] (What's this?)

  • 1. Ax, James, On Schanuel's Conjectures, Annals of Math. 293 (1971), pp. 252-268. MR 43:3215
  • 2. Buium, Alexandru, Effective bound for the geometric Lang conjecture. Duke Math. J. 71 (1993), no. 2, pp. 475-499. MR 95c:14055
  • 3. A. Buium, Differential Algebraic Groups of Finite Dimension, Lecture Notes in Mathematics 1506, Springer-Verlag 1992. MR 93i:12010
  • 4. G. Cherlin, S. Shelah, Superstable fields and groups, Annals of Math. Logic 18 (1980), pp. 227-270. MR 82c:03045
  • 5. Robin Hartshorne, Algebraic Geometry, Springer-Verlag 1977. MR 57:3116
  • 6. E. Hrushovski, Proof of Manin's thorem by reduction to positive characteristic, in Model Theory and Algebraic geometry, E. Bouscaren ed., Lecture Notes in Mathematics 1696, Springer-Verlag 1998, pp. 197-205 MR 2000c:11202
  • 7. E. Hrushovski, ODE's of order 1 and a generalization of a theorem of Jouanolou (to appear).
  • 8. E. Hrushovski, Almost orthogonal regular types, Annals of Pure and Applied Logic 45. 139-155. 1989. MR 91k:03083
  • 9. E. Hrushovski, Z. Sokolovic, Strongly minimal sets in differentially closed fields, to appear in Transactions of the AMS
  • 10. E. L. Ince, Ordinary differential equations, Dover, New York 1944. MR 6:65f
  • 11. E. R. Kolchin, Constrained extensions of differential fields, Advances in Math. vol 12, 1974, pp. 141-170. MR 49:4982
  • 12. E. R. Kolchin: Algebraic Groups and Algebraic Dependence, American Journal of Mathematics, 90 1968, pp. 1151-1164. MR 39:1460
  • 13. S. Lang, Abelian varieties, Springer-Verlag 1983. MR 84g:14041
  • 14. S. Lang, Algebra, Addison-Wesley, 1965. MR 33:5416
  • 15. S. Lang, Introduction to algebraic geometry, Addison - Wesley, Reading 1972. MR 49:8983
  • 16. A. Macintyre, On $\omega_1$-categorical theories of fields, Fund. Math. 71 (1971) pp. 1-25 MR 45:48
  • 17. D. Marker, Model theory of differential fields, in: Model theory of fields, D. Marker, M. Messmer, A. Pillay, Lecture Notes in Logic 5, Springer-Verlag, Berlin-Tokyo 1996. MR 2001j:12005
  • 18. Anand Pillay, Geometric Stability Theory, Oxford Logic Guides No 32, 1996. MR 98a:03049
  • 19. A. Pillay., Differential Galois theory II, Annals of Pure and Applied Logic 88, 1997, 181-191 MR 99m:12010
  • 20. B. Poizat, Groupes Stables, Nur Al-Mantiq Wal-Ma'rifah, Paris, 1987. MR 89b:03056
  • 21. B. Poizat, Une Théorie de Galois imaginaire, Journal of Symbolic Logic 48 1983, 1151-1170. MR 85e:03083
  • 22. M. Rosenlicht, Extensions of vector groups by Abelian varieties, American Journal of Mathematics 80 (1958) pp. 685-714. MR 20:5780
  • 23. M. Rosenlicht, The nonminimality of the differential closure, Pacific J. Math vol. 52 No. 2, 1974 pp. 529-537. MR 50:4556
  • 24. G. Sacks, Saturated model theory, Benjamin, 1972. MR 53:2668
  • 25. J.-P. Serre, Groupes algébriques et corps de classes, Hermann, 1975. MR 57:6032
  • 26. S. Shelah, Uniqueness and characterization of prime models over sets for totally transcendental first order theories, J. Symbolic Logic 37 (1972) 107-113. MR 47:4787
  • 27. S. Shelah, Differentially closed fields, Israel Journal of Mathematics v. 16, 1973, pp. 314-328. MR 49:8856
  • 28. P. Samuel, Complément à un article de Hans Grauert sur la conjecture de Mordell, Publ. Math. IHES 29 (1966), pp. 54-62. MR 34:4272

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 03C60, 12H05

Retrieve articles in all journals with MSC (2000): 03C60, 12H05


Additional Information

E. Hrushovski
Affiliation: Department of Mathematics, Hebrew University, Jerusalem, Israel
Email: ehud@sunset.ma.huji.ac.il

M. Itai
Affiliation: Department of Mathematical Sciences, Tokai University, Hiratsuka 259-1292, Japan
Email: itai@ss.u-tokai.ac.jp

DOI: https://doi.org/10.1090/S0002-9947-03-03264-1
Received by editor(s): August 1, 1998
Published electronically: July 8, 2003
Additional Notes: The first author thanks Miller Institute at the University of California, Berkeley
Article copyright: © Copyright 2003 American Mathematical Society

American Mathematical Society