A Model Complete Theory of Valued D-Fields
Scanlon, Thomas
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1758-1784 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the Ax-Kochen-Ersov principle is proven for a theory of valued D-fields of residual characteristic zero.
Publié le : 2000-12-14
Classification:  
@article{1183746262,
     author = {Scanlon, Thomas},
     title = {A Model Complete Theory of Valued D-Fields},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1758-1784},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746262}
}

Scanlon, Thomas. A Model Complete Theory of Valued D-Fields. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1758-1784. http://gdmltest.u-ga.fr/item/1183746262/