Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-20T06:29:02.472Z Has data issue: false hasContentIssue false
  • English
  • Français

The model theory of differential fields with finitely many commuting derivations

Published online by Cambridge University Press:  12 March 2014

Tracey McGrail
Tracey McGrail*
Affiliation:
Department of Mathematics, Marist College, Poughkeepsie, NY 12601, USA, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

In this paper we set out the basic model theory of differential fields of characteristic 0, which have finitely many commuting derivations. We give axioms for the theory of differentially closed differential fields with m derivations and show that this theory is ω-stable, model complete, and quantifier-eliminable, and that it admits elimination of imaginaries. We give a characterization of forking and compute the rank of this theory to be ωm + 1.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 65 , Issue 2 , June 2000 , pp. 885 - 913
Copyright
Copyright © Association for Symbolic Logic 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Chang, C.C. and Keisler, H.J., Model theory, third ed., North-Holland, New York, New York, 1992.Google Scholar
[2]Davey, B.A. and Priestley, H.A., Introduction to lattices and order, Cambridge University Press, New York, New York, 1990.Google Scholar
[3]Hermann, G., Die Frage der endlich vielen Schritte in der Theorie der Polynomideale, Math. Ann, vol. 95 (1926), pp. 736–788.CrossRefGoogle Scholar
[4]Johnson, Joseph, Reinhart, Georg M., and Rubel, Lee A., Some counterexamples to separation of variables, Journal of Differential Equations, vol. 121 (1995), pp. 42–66.CrossRefGoogle Scholar
[5]Kaplansky, Irving, An introduction to differential algebra, Hermann, Paris, France, 1957.Google Scholar
[6]Kolchin, E. R., Differential algebra and algebraic groups, Academic Press, New York, New York, 1973.Google Scholar
[7]Lascar, Daniel, Stability in model theory, Longman Scientific and Technical, New York, New York, 1987.Google Scholar
[8]Marker, David, Model theory of differential fields, Model theory of fields, Springer-Verlag, New York, New York, 1996, pp. 38–113.CrossRefGoogle Scholar
[9]McGrail, Tracey, Model-theoretic results on ordinary and partial differential fields, Ph.d. dissertation, Wesleyan University, Middletown, CT, 1997.Google Scholar
[10]Messmer, Margit, Some model theory of separably closed fields, Model theory of fields, Springer-Verlag, New York, New York, 1996, pp. 135–152.CrossRefGoogle Scholar
[11]Pong, Wai Yan, Some applications of ordinal dimensions to the theory of differentially closed fields, preprint, 1996.Google Scholar
[12]Robinson, Abraham, On the concept of a differentially closed field, Bull. Res. Counc. of Israel, vol. 8F (1959), pp. 113–128.Google Scholar
[13]Seidenberg, A., An elimination theory for differential algebra, University of California Publications in Math, vol. New Series 3 (1956), pp. 31–65.Google Scholar