The uniform companion for large differential fields of characteristic 0

Author:
Marcus Tressl

Journal:
Trans. Amer. Math. Soc. **357** (2005), 3933-3951

MSC (2000):
Primary 03C65, 12H05; Secondary 03C10, 13N99

Published electronically:
May 10, 2005

MathSciNet review:
2159694

Full-text 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 p-adic fields and differentially closed pseudo-finite 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****[DL]**J. Denef and L. Lipshitz,*Power series solutions of algebraic differential equations*, Math. Ann.**267**(1984), no. 2, 213–238. MR**738249**, 10.1007/BF01579200**[vdD-Sch]**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**, 10.1007/BF01388493**[E]**David Eisenbud,*Commutative algebra*, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR**1322960****[GaMi]**Giovanni Gallo and Bhubaneswar Mishra,*Efficient algorithms and bounds for Wu-Ritt characteristic sets*, Effective methods in algebraic geometry (Castiglioncello, 1990) Progr. Math., vol. 94, Birkhäuser Boston, Boston, MA, 1991, pp. 119–142. MR**1106418****[Ho]**Wilfrid Hodges,*Model theory*, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR**1221741****[Hu]**Evelyne Hubert,*Factorization-free decomposition algorithms in differential algebra*, J. Symbolic Comput.**29**(2000), no. 4-5, 641–662. Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998). MR**1769659**, 10.1006/jsco.1999.0344**[Ko]**E. R. Kolchin,*Differential algebra and algebraic groups*, Academic Press, New York-London, 1973. Pure and Applied Mathematics, Vol. 54. MR**0568864****[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**, 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**, 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**, 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**, 10.2307/2118581**[PZ]**Alexander Prestel and Martin Ziegler,*Model-theoretic methods in the theory of topological fields*, J. Reine Angew. Math.**299(300)**(1978), 318–341. MR**491852****[Si]**Michael F. Singer,*The model theory of ordered differential fields*, J. Symbolic Logic**43**(1978), no. 1, 82–91. MR**495120**, 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**, 10.4064/bc58-0-15**[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**, 10.2307/2273676**[Wh2]**William H. Wheeler,*Model complete theories of pseudo-algebraically closed fields*, Ann. Math. Logic**17**(1979), no. 3, 205–226. MR**556892**, 10.1016/0003-4843(79)90008-1

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:
NWF-I Mathematik, 93040 Universität Regensburg, Germany

Email:
marcus.tressl@mathematik.uni-regensburg.de

DOI:
http://dx.doi.org/10.1090/S0002-9947-05-03981-4

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.