Differentially closed fields of characteristic zero with a generic automorphism
| dc.creator | Bustamante Medina, Ronald F. | |
| dc.date.accessioned | 2015-05-19T18:48:27Z | |
| dc.date.available | 2015-05-19T18:48:27Z | |
| dc.date.issued | 2009-02-25 00:00:00 | |
| dc.date.updated | 2015-05-19T18:48:27Z | |
| dc.description.abstract | 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 | |
| dc.description.abstract | Hrushovski demostr´o que la teor`?a de campos diferenciales de diferencia de caracter´?stica cero tiene una modelo-compa˜era, la cual denotaremos DCFA. En el presenteart´?culo damos una axiomatizaci´on para DCFA y probamos algunos resultados modeloteor´eticos de importancia como la supersimplicidad y la eliminaci´on los imaginarios.Mencionamos algunas propiedades del campo fijo y del campo de constantes de unmodelo de DCFA.Palabras clave: L´ogica matem´atica, teor´?a de modelos, campos diferenciales, campos dediferencia. | |
| dc.format.extent | 81-100 | |
| dc.identifier.citation | http://revistas.ucr.ac.cr/index.php/matematica/article/view/282 | |
| dc.identifier.doi | 10.15517/rmta.v14i1.282 | |
| dc.identifier.issn | ||
| dc.identifier.uri | https://hdl.handle.net/10669/12931 | |
| dc.language.rfc3066 | es | |
| dc.relation.ispartof | Revista de Matemática: Teoría y Aplicaciones Vol. 14 Núm. 1 2009 | |
| dc.title | Differentially closed fields of characteristic zero with a generic automorphism | |
| dc.title | Differentially closed fields of characteristic zero with a generic automorphism | |
| dc.type | artículo original |