Differentially closed fields of characteristic zero with a generic automorphism
Archivos
Fecha
2009-02-25 00:00:00
Tipo
artículo original
Autores
Bustamante Medina, Ronald F.
Título de la revista
ISSN de la revista
Título del volumen
Editor
Resumen
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.
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.