The uniform companion for large differential fields of characteristic 0
Author:
Marcus Tressl
Journal:
Trans. Amer. Math. Soc. 357 (2005), 39333951
MSC (2000):
Primary 03C65, 12H05; Secondary 03C10, 13N99
Published electronically:
May 10, 2005
MathSciNet review:
2159694
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: We show that there is a theory UC of differential fields (in several commuting derivatives) of characteristic , which serves as a model companion for every theory of large and differential fields extending a model complete theory of pure fields. As an application, we introduce differentially closed ordered fields, differentially closed padic fields and differentially closed pseudofinite fields.
 [Bö]
J. Böger, Modelltheorie von Körpern mit paarweise kommutierenden Derivationen. Diplomarbeit, Freiburg, September 1996.
 [CDM]
Zoé
Chatzidakis, Lou
van den Dries, and Angus
Macintyre, Definable sets over finite fields, J. Reine Angew.
Math. 427 (1992), 107–135. MR 1162433
(94c:03049)
 [DL]
J.
Denef and L.
Lipshitz, Power series solutions of algebraic differential
equations, Math. Ann. 267 (1984), no. 2,
213–238. MR
738249 (85j:12010), http://dx.doi.org/10.1007/BF01579200
 [vdDSch]
L.
van den Dries and K.
Schmidt, Bounds in the theory of polynomial rings over fields. A
nonstandard approach, Invent. Math. 76 (1984),
no. 1, 77–91. MR 739626
(85i:12016), http://dx.doi.org/10.1007/BF01388493
 [E]
David
Eisenbud, Commutative algebra, Graduate Texts in Mathematics,
vol. 150, SpringerVerlag, New York, 1995. With a view toward
algebraic geometry. MR 1322960
(97a:13001)
 [GaMi]
Giovanni
Gallo and Bhubaneswar
Mishra, Efficient algorithms and bounds for WuRitt characteristic
sets, Effective methods in algebraic geometry (Castiglioncello, 1990)
Progr. Math., vol. 94, Birkhäuser Boston, Boston, MA, 1991,
pp. 119–142. MR 1106418
(92e:14058)
 [Ho]
Wilfrid
Hodges, Model theory, Encyclopedia of Mathematics and its
Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741
(94e:03002)
 [Hu]
Evelyne
Hubert, Factorizationfree decomposition algorithms in differential
algebra, J. Symbolic Comput. 29 (2000), no. 45,
641–662. Symbolic computation in algebra, analysis, and geometry
(Berkeley, CA, 1998). MR 1769659
(2001k:12013), http://dx.doi.org/10.1006/jsco.1999.0344
 [Ko]
E.
R. Kolchin, Differential algebra and algebraic groups,
Academic Press, New York, 1973. Pure and Applied Mathematics, Vol. 54. MR 0568864
(58 #27929)
 [McG]
Tracey
McGrail, The model theory of differential fields with finitely many
commuting derivations, J. Symbolic Logic 65 (2000),
no. 2, 885–913. MR 1771092
(2001h:03066), http://dx.doi.org/10.2307/2586576
 [Pi]
David
Pierce, Differential forms in the model theory of differential
fields, J. Symbolic Logic 68 (2003), no. 3,
923–945. MR 2000487
(2004h:03080), http://dx.doi.org/10.2178/jsl/1058448448
 [PP]
David
Pierce and Anand
Pillay, A note on the axioms for differentially closed fields of
characteristic zero, J. Algebra 204 (1998),
no. 1, 108–115. MR 1623945
(99g:12006), http://dx.doi.org/10.1006/jabr.1997.7359
 [Po]
Florian
Pop, Embedding problems over large fields, Ann. of Math. (2)
144 (1996), no. 1, 1–34. MR 1405941
(97h:12013), http://dx.doi.org/10.2307/2118581
 [PZ]
Alexander
Prestel and Martin
Ziegler, Modeltheoretic methods in the theory of topological
fields, J. Reine Angew. Math. 299(300) (1978),
318–341. MR
491852 (80f:54034)
 [Si]
Michael
F. Singer, The model theory of ordered differential fields, J.
Symbolic Logic 43 (1978), no. 1, 82–91. MR 495120
(80a:03044), http://dx.doi.org/10.2307/2271951
 [Tr]
Marcus
Tressl, A structure theorem for differential algebras,
Differential Galois theory (Będlewo, 2001) Banach Center Publ.,
vol. 58, Polish Acad. Sci., Warsaw, 2002, pp. 201–206. MR 1972455
(2004b:12011), http://dx.doi.org/10.4064/bc58015
 [Wh1]
William
H. Wheeler, Model complete theories of formally real fields and
formally 𝑝adic fields, J. Symbolic Logic 48
(1983), no. 4, 1130–1139 (1984). MR 727801
(85b:03055), http://dx.doi.org/10.2307/2273676
 [Wh2]
William
H. Wheeler, Model complete theories of pseudoalgebraically closed
fields, Ann. Math. Logic 17 (1979), no. 3,
205–226. MR
556892 (81c:03024), http://dx.doi.org/10.1016/00034843(79)900081
 [Bö]
 J. Böger, Modelltheorie von Körpern mit paarweise kommutierenden Derivationen. Diplomarbeit, Freiburg, September 1996.
 [CDM]
 Z. Chatzidakis, L. van den Dries, A. Macintyre, Definable sets over finite fields. J. reine angew. Math. 427 (1992), 107135. MR 1162433 (94c:03049)
 [DL]
 J. Denef, L. Lipshitz, Power Series Solutions of Algebraic Differential Equations. Math. Ann. 267 (1984), 213238. MR 0738249 (85j:12010)
 [vdDSch]
 L. van den Dries, K. Schmidt, Bounds in the theory of polynomial rings over fields. A nonstandard approach. Invent. Math. 76 (1984), no. 1, 7791. MR 0739626 (85i:12016)
 [E]
 D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry. Springer Graduate Texts in Mathematics 150, 1995. MR 1322960 (97a:13001)
 [GaMi]
 G. Gallo, B. Mishra, Efficient Algorithms and Bounds for the WuRitt Characteristic Sets. Effective methods in algebraic geometry (Castiglioncello, 1990), 119142, Progr. Math., 94, BirkhäuserBoston, Boston, MA, 1991. MR 1106418 (92e:14058)
 [Ho]
 W. Hodges, Model Theory. Encyclopedia of Mathematics and its Applications, vol. 42, 1993. MR 1221741 (94e:03002)
 [Hu]
 E. Hubert, Factorizationfree Decomposition Algorithms in Differential Algebra. J. Symbolic Computation 29 (2000), 641662. MR 1769659 (2001k:12013)
 [Ko]
 E. R. Kolchin, Differential Algebra and Algebraic Groups. Pure and Applied Mathematics, vol. 54, Academic Press, 1973. MR 0568864 (58:27929)
 [McG]
 T. McGrail, The model theory of differential fields with finitely many commuting derivations. J. Symbolic Logic 65 (2000), no. 2, 885913. MR 1771092 (2001h:03066)
 [Pi]
 D. Pierce, Differential Forms in the Model Theory of Differential Fields. J. Symbolic Logic 68 (2003), no. 3, 923945. MR 2000487 (2004h:03080)
 [PP]
 D. Pierce, A. Pillay, A note on the axioms for differentially closed fields of characteristic zero. J. Algebra 204 (1998), no. 1, 108115. MR 1623945 (99g:12006)
 [Po]
 F. Pop, Embedding problems over large fields. Ann. of Math. (2) 144 (1996), no. 1, 134. MR 1405941 (97h:12013)
 [PZ]
 A. Prestel, M. Ziegler, Modeltheoretic methods in the theory of topological fields. J. Reine Angew. Math. 299(300) (1978), 318341. MR 0491852 (80f:54034)
 [Si]
 M. Singer, The Model Theory of Ordered Differential Fields. The Journal of Symbolic Logic, Vol. 43, Number 1, March 1978, pp. 8291. MR 0495120 (80a:03044)
 [Tr]
 M. Tressl, A Structure Theorem for Differential Algebras. Banach Center Publications, vol. 58, Warszawa 2002, pp. 201206. MR 1972455 (2004b:12011)
 [Wh1]
 W. H. Wheeler, Model complete theories of formally real fields and formally adic fields. J. Symbolic Logic 48 (1983), no. 4, 11301139 (1984). MR 0727801 (85b:03055)
 [Wh2]
 W. H. Wheeler, Model complete theories of pseudoalgebraically closed fields. Ann. Math. Logic 17 (1979), no. 3, 205226. MR 0556892 (81c:03024)
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
03C65,
12H05,
03C10,
13N99
Retrieve articles in all journals
with MSC (2000):
03C65,
12H05,
03C10,
13N99
Additional Information
Marcus Tressl
Affiliation:
NWFI Mathematik, 93040 Universität Regensburg, Germany
Email:
marcus.tressl@mathematik.uniregensburg.de
DOI:
http://dx.doi.org/10.1090/S0002994705039814
PII:
S 00029947(05)039814
Keywords:
Differential algebra,
differentially closed,
large field,
model theory,
model complete
Received by editor(s):
April 22, 2003
Published electronically:
May 10, 2005
Article copyright:
© Copyright 2005 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.
