Submission date: 13 September 2013.

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.

Mathematics Subject Classification: 03C60, 12H05, 12H10

Keywords and phrases: Model theory, differential and difference algebra

Full text arXiv 1309.3539: pdf, ps.