Model Theory of Differentially Closed Fields with a Generic Automorphism

Ronald F. Bustamante Medina
DOI: https://doi.org/10.48550/arXiv.0907.3959
2009-07-23
Abstract:E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree. We prove a version of Zilber's dichotomy and we give a description of Abelian definable groups.
Logic,Algebraic Geometry
What problem does this paper attempt to address?