Differentially closed fields of characteristic zero with a generic automorphism
Hrushovski demostró que la teoría de campos diferenciales de diferencia de característica cero tiene una modelo-compaẽra, la cual denotaremos DCFA. En el presente artículo damos una axiomatización para DCFA y probamos algunos resultados modelo-teoréticos de importancia como la supersimplicidad y la...
Main Author: | |
---|---|
Format: | Online |
Language: | spa |
Published: |
Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
2007
|
Online Access: | https://revistas.ucr.ac.cr/index.php/matematica/article/view/282 |
id |
RMTA282 |
---|---|
record_format |
ojs |
spelling |
RMTA2822022-01-20T18:29:47Z Differentially closed fields of characteristic zero with a generic automorphism Differentially closed fields of characteristic zero with a generic automorphism Bustamante Medina, Ronald F. Mathematical logic model theory differential fields difference fields Lógica matemática teoría de modelos campos diferenciales campos de diferencia 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. Hrushovski demostró que la teoría de campos diferenciales de diferencia de característica cero tiene una modelo-compaẽra, la cual denotaremos DCFA. En el presente artículo damos una axiomatización para DCFA y probamos algunos resultados modelo-teoréticos de importancia como la supersimplicidad y la eliminación los imaginarios. Mencionamos algunas propiedades del campo fijo y del campo de constantes de un modelo de DCFA. Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA) 2007-02-01 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Article application/pdf https://revistas.ucr.ac.cr/index.php/matematica/article/view/282 10.15517/rmta.v14i1.282 Revista de Matemática: Teoría y Aplicaciones; Vol. 14 No. 1 (2007): Revista de Matemática: Teoría y Aplicaciones; 81-100 Revista de Matemática: Teoría y Aplicaciones; Vol. 14 Núm. 1 (2007): Revista de Matemática: Teoría y Aplicaciones; 81-100 Revista de Matemática; Vol. 14 N.º 1 (2007): Revista de Matemática: Teoría y Aplicaciones; 81-100 2215-3373 1409-2433 spa https://revistas.ucr.ac.cr/index.php/matematica/article/view/282/262 Derechos de autor 2007 Revista de Matemática: Teoría y Aplicaciones |
institution |
Universidad de Costa Rica |
collection |
Revista de Matemática: Teoría y Aplicaciones |
language |
spa |
format |
Online |
author |
Bustamante Medina, Ronald F. |
spellingShingle |
Bustamante Medina, Ronald F. Differentially closed fields of characteristic zero with a generic automorphism |
author_facet |
Bustamante Medina, Ronald F. |
author_sort |
Bustamante Medina, Ronald F. |
description |
Hrushovski demostró que la teoría de campos diferenciales de diferencia de característica cero tiene una modelo-compaẽra, la cual denotaremos DCFA. En el presente artículo damos una axiomatización para DCFA y probamos algunos resultados modelo-teoréticos de importancia como la supersimplicidad y la eliminación los imaginarios. Mencionamos algunas propiedades del campo fijo y del campo de constantes de un modelo de DCFA.
|
title |
Differentially closed fields of characteristic zero with a generic automorphism |
title_short |
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_sort |
differentially closed fields of characteristic zero with a generic automorphism |
title_alt |
Differentially closed fields of characteristic zero with a generic automorphism |
publisher |
Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA) |
publishDate |
2007 |
url |
https://revistas.ucr.ac.cr/index.php/matematica/article/view/282 |
work_keys_str_mv |
AT bustamantemedinaronaldf differentiallyclosedfieldsofcharacteristiczerowithagenericautomorphism |
_version_ |
1811744072468004864 |