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 canonical base property, and consequently the Zilber dichotomy, for finite-dimensional types.
| Original language | English |
|---|---|
| Pages (from-to) | 419–442 |
| Journal | Israel Journal of Mathematics |
| Volume | 212 |
| Issue number | 1 |
| Early online date | 7 Jan 2016 |
| DOIs | |
| Publication status | Published - May 2016 |