Resumen

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 presente
art´?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 un
modelo de DCFA.

Palabras clave: L´ogica matem´atica, teor´?a de modelos, campos diferenciales, campos de
diferencia.