Differentially closed fields of characteristic zero with a generic automorphism

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...

Full description

Main Author: Bustamante Medina, Ronald F.
Format: Artículo
Language: Español
Published: 2015
Online Access: http://revistas.ucr.ac.cr/index.php/matematica/article/view/282
http://hdl.handle.net/10669/12931
Summary: 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