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 |