Differentially closed fields of characteristic zero with a generic automorphism
Hrushovski showed that the theory of difference-differential fields of characteristic zero has a model-companion, which we shall denote DCFA. We give an axiomatization for DCFA and prove some important model-theoretic results as supersimplicity and elimination of imaginaries. We mention some propert...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad de Costa Rica
2009-02-01
|
| Series: | Revista de Matemática: Teoría y Aplicaciones |
| Online Access: | https://revistas.ucr.ac.cr/index.php/matematica/article/view/282 |
| _version_ | 1797722691306782720 |
|---|---|
| author | Ronald F. Bustamante Medina |
| author_facet | Ronald F. Bustamante Medina |
| author_sort | Ronald F. Bustamante Medina |
| collection | DOAJ |
| description | Hrushovski showed that the theory of difference-differential fields of characteristic
zero has a model-companion, which we shall denote DCFA. We give an axiomatization
for DCFA and prove some important model-theoretic results as supersimplicity and
elimination of imaginaries. We mention some properties of the fixed field and the
constant field of a model of DCFA.
Keywords: Mathematical logic, model theory, differential fields, difference fields |
| first_indexed | 2024-03-12T09:51:06Z |
| format | Article |
| id | doaj.art-43b44d494fda432481131b8b5d25b1b9 |
| institution | Directory Open Access Journal |
| issn | 2215-3373 |
| language | English |
| last_indexed | 2024-03-12T09:51:06Z |
| publishDate | 2009-02-01 |
| publisher | Universidad de Costa Rica |
| record_format | Article |
| series | Revista de Matemática: Teoría y Aplicaciones |
| spelling | doaj.art-43b44d494fda432481131b8b5d25b1b92023-09-02T12:29:40ZengUniversidad de Costa RicaRevista de Matemática: Teoría y Aplicaciones2215-33732009-02-011418110010.15517/rmta.v14i1.282267Differentially closed fields of characteristic zero with a generic automorphismRonald F. Bustamante Medina0Universidad de Costa Rica, CIMPA, Escuela de MatemáticaHrushovski showed that the theory of difference-differential fields of characteristic zero has a model-companion, which we shall denote DCFA. We give an axiomatization for DCFA and prove some important model-theoretic results as supersimplicity and elimination of imaginaries. We mention some properties of the fixed field and the constant field of a model of DCFA. Keywords: Mathematical logic, model theory, differential fields, difference fieldshttps://revistas.ucr.ac.cr/index.php/matematica/article/view/282 |
| spellingShingle | Ronald F. Bustamante Medina Differentially closed fields of characteristic zero with a generic automorphism Revista de Matemática: Teoría y Aplicaciones |
| title | Differentially closed fields of characteristic zero with a generic automorphism |
| title_full | Differentially closed fields of characteristic zero with a generic automorphism |
| title_fullStr | Differentially closed fields of characteristic zero with a generic automorphism |
| title_full_unstemmed | Differentially closed fields of characteristic zero with a generic automorphism |
| title_short | Differentially closed fields of characteristic zero with a generic automorphism |
| title_sort | differentially closed fields of characteristic zero with a generic automorphism |
| url | https://revistas.ucr.ac.cr/index.php/matematica/article/view/282 |
| work_keys_str_mv | AT ronaldfbustamantemedina differentiallyclosedfieldsofcharacteristiczerowithagenericautomorphism |