On the model companion of partial differential fields with an automorphism

Abstract

We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy for finite dimensional minimal types.