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