We consider valued fields of equicharacteristic zero equipped with a continuous derivation. This class of structures is rather diverse, including both monotone differential fields and asymptotic differential fields. (These terms will be defined.) Nevertheless, some results can be established uniformly for the entire class: algebraic extensions, construction of residue field extensions, the Equalizer Theorem, construction of immediate extensions, differential-henselianity. Next I will revisit Scanlon’s thesis on the model theory of differential-henselian monotone differential fields with enough constants. Time permitting I will add some remarks on the case of asymptotic differential fields.The above is (a small part of) ongoing joint work with Matthias Aschenbrenner and Joris van der Hoeven focused on developing a model theory for differential fields of transseries.
- Séminaire Géométrie et théorie des modèles