On the model companion of partial differential fields with an automorphism
classification
🧮 math.LO
keywords
modelautomorphismcompaniondifferentialfieldspartialprovebasic
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.