Differentially closed fields of characteristic zero with a generic automorphism

Abstract

Hrushovski showed that the theory of difference-differential fields of characteristiczero has a model-companion, which we shall denote DCFA. We give an axiomatizationfor DCFA and prove some important model-theoretic results as supersimplicity andelimination of imaginaries. We mention some properties of the fixed field and theconstant field of a model of DCFA.Keywords: Mathematical logic, model theory, differential fields, difference fields

Hrushovski demostr´o que la teor`?a de campos diferenciales de diferencia de caracter´?stica cero tiene una modelo-compa˜era, la cual denotaremos DCFA. En el presenteart´?culo damos una axiomatizaci´on para DCFA y probamos algunos resultados modeloteor´eticos de importancia como la supersimplicidad y la eliminaci´on los imaginarios.Mencionamos algunas propiedades del campo fijo y del campo de constantes de unmodelo de DCFA.Palabras clave: L´ogica matem´atica, teor´?a de modelos, campos diferenciales, campos dediferencia.