A model complete theory of valued D-fields

Authors
Scanlon, T
Citation
T. Scanlon, A model complete theory of valued D-fields, J SYMB LOG, 65(4), 2000, pp. 1758-1784
Citations number
14
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
65
Issue
4
Year of publication
2000
Pages
1758 - 1784
Database
ISI
SICI code
0022-4812(200012)65:4<1758:AMCTOV>2.0.ZU;2-L
Abstract
The notion of a D-ring. generalizing that of a differential ring is introdu ced. Quantifier elimination and a version of the Ax Kochen Ersov principle is proven for a theory of valued D-fields of residual characteristic zero.