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