Resumen de Differentially closed fields of characteristic zero with a generic automorphism

Ronald Bustamante Medina

• español

  Hrushovski demostró que la teoría de campos diferenciales de diferencia de característica cero tiene una modelo-compaẽra, la cual denotaremos DCFA. En el presente artículo damos una axiomatización para DCFA y probamos algunos resultados modelo-teoréticos de importancia como la supersimplicidad y la eliminación los imaginarios. Mencionamos algunas propiedades del campo fijo y del campo de constantes de un modelo de DCFA.

   

• English

  Hrushovski showed that the theory of difference-differential fields of characteristic zero has a model-companion, which we shall denote DCFA. We give an axiomatization for DCFA and prove some important model-theoretic results as supersimplicity and elimination of imaginaries. We mention some properties of the fixed field and the constant field of a model of DCFA.