Some remarks concerning the theory of ordered differentially closed fields. (Q2501395): Difference between revisions

The authors give a geometrical axiomatization of the closed ordered differential fields [introduced by \textit{M. F. Singer}, ``The model theory of ordered differential fields'', J. Symb. Log. 43, 82--91 (1978; Zbl 0396.03031)], that is analogous to the Pierce-Pillay axiomatization of differentially closed fields of characteristic zero [\textit{D. Pierce} and \textit{A. Pillay}, ``A note on the axioms for differentially closed fields of characteristic zero'', J. Algebra 204, 108--115 (1998; Zbl 0922.12006)]. They also show that this theory does not have the independence property by using the ``forgetful functor'' which reduces a quantifier-free ordered-differential formula to the natural ordered-algebraic one, where the derivative \(Dx\) is replaced by a new variable \(y\). The result then follows because real closed fields do not have the independence property. The authors remark that this trick can be used in a number of other theories of differential rings.