Model theory of partial differential fields: From commuting to noncommuting derivations
HTML articles powered by AMS MathViewer
- by Michael F. Singer PDF
- Proc. Amer. Math. Soc. 135 (2007), 1929-1934 Request permission
Abstract:
McGrail (2000) has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe (2001) has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first.References
- E. R. Kolchin, Differential algebraic groups, Pure and Applied Mathematics, vol. 114, Academic Press, Inc., Orlando, FL, 1985. MR 776230
- Serge Lang, Algebra, 3rd ed., Graduate Texts in Mathematics, vol. 211, Springer-Verlag, New York, 2002. MR 1878556, DOI 10.1007/978-1-4613-0041-0
- Tracey McGrail, The model theory of differential fields with finitely many commuting derivations, J. Symbolic Logic 65 (2000), no. 2, 885–913. MR 1771092, DOI 10.2307/2586576
- David Pierce, Differential forms in the model theory of differential fields, J. Symbolic Logic 68 (2003), no. 3, 923–945. MR 2000487, DOI 10.2178/jsl/1058448448
- Gerald E. Sacks, Saturated model theory, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass., 1972. MR 0398817
- V. S. Varadarajan, Lie groups, Lie algebras, and their representations, Graduate Texts in Mathematics, vol. 102, Springer-Verlag, New York, 1984. Reprint of the 1974 edition. MR 746308, DOI 10.1007/978-1-4612-1126-6
- Yoav Yaffe, Model completion of Lie differential fields, Ann. Pure Appl. Logic 107 (2001), no. 1-3, 49–86. MR 1807840, DOI 10.1016/S0168-0072(00)00025-7
Additional Information
- Michael F. Singer
- Affiliation: Department of Mathematics, North Carolina State University, Box 8205, Raleigh, North Carolina 27695-8205
- Email: singer@math.ncsu.edu
- Received by editor(s): November 25, 2005
- Received by editor(s) in revised form: January 21, 2006
- Published electronically: January 12, 2007
- Additional Notes: The preparation of this article was partially supported by NSF Grant CCR-0096842.
- Communicated by: Julia Knight
- © Copyright 2007
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 135 (2007), 1929-1934
- MSC (2000): Primary 03C10; Secondary 35A05, 12H05
- DOI: https://doi.org/10.1090/S0002-9939-07-08653-4
- MathSciNet review: 2286106