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...
| Autor Principal: | Bustamante Medina, Ronald F. |
|---|---|
| Formato: | Artículo |
| Idioma: | Español |
| Publicado: |
2015
|
| Acceso en línea: |
http://revistas.ucr.ac.cr/index.php/matematica/article/view/282 http://hdl.handle.net/10669/12931 |
| Sumario: |
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 |
|---|