In [12], 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.