Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 71, Issue 2 (2006), 639-660.
In , T. Scanlon proved a quantifier elimination result for valued D-fields in a three-sorted language by using angular component functions. Here we prove an analogous theorem in a different language ℒ₂ which was introduced by F. Delon in her thesis. This language allows us to lift the quantifier elimination result to a one-sorted language by a process described in the Appendix. As a byproduct, we state and prove a “positivstellensatz” theorem for the differential analogue of the theory of real-series closed fields in the valued D-field setting.
J. Symbolic Logic, Volume 71, Issue 2 (2006), 639-660.
First available in Project Euclid: 2 May 2006
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Guzy, Nicolas. 0-D-valued fields. J. Symbolic Logic 71 (2006), no. 2, 639--660. doi:10.2178/jsl/1146620164. https://projecteuclid.org/euclid.jsl/1146620164