Abstract

We show that there is a theory UC of differential fields (in several commuting derivatives) of characteristic $0$, 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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call