2015-05-192015-05-192009-02-25http://revistas.ucr.ac.cr/index.php/matematica/article/view/282https://hdl.handle.net/10669/12931Hrushovski 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 fieldsHrushovski 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.81-100artículo original2015-05-19es10.15517/rmta.v14i1.282