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 |