Model theory of partial differential fields: From commuting to noncommuting derivations

Singer, Michael

doi:10.1090/S0002-9939-07-08653-4

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