Differentially closed fields of characteristic zero with a generic automorphism

 

Salvato in:
Dettagli Bibliografici
Autore: Bustamante Medina, Ronald F.
Natura: artículo original
Status:Versión publicada
Data di pubblicazione:2007
Descrizione: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.
Stato:Portal de Revistas UCR
Istituzione:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Lingua:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/282
Accesso online:https://revistas.ucr.ac.cr/index.php/matematica/article/view/282
Keyword:Mathematical logic
model theory
differential fields
difference fields
Lógica matemática
teoría de modelos
campos diferenciales
campos de diferencia