On the model companion of partial differential fields with an automorphism
Logic
2014-07-10 v2
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.
Keywords
Cite
@article{arxiv.1309.3539,
title = {On the model companion of partial differential fields with an automorphism},
author = {Omar Leon Sanchez},
journal= {arXiv preprint arXiv:1309.3539},
year = {2014}
}