The uniform companion for large differential fields of characteristic 0

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.