Some remarks concerning the theory of ordered differentially closed fields.
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.
- The theory of closed ordered differential fields with \(m\) commuting derivations
- Geometric axioms for differentially closed fields with several commuting derivations
- scientific article; zbMATH DE number 4039867
- The model theory of m‐ordered differential fields
- On differentially closed ordered fields
- Definability of types and VC density in differential topological fields
- On coincidence of dimensions in closed ordered differential fields
- Topological fields with a generic derivation
- Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués).
- scientific article; zbMATH DE number 4014870 (Why is no real title available?)
- scientific article; zbMATH DE number 4146079 (Why is no real title available?)
- Algebro-geometric axioms for \(\operatorname {DCF}_{0,m}\)
- Embedded Picard-Vessiot extensions
- Distality in valued fields and related structures
- A geometric model of an arbitrary differentially closed field of characteristic zero
- Generic derivations on o-minimal structures
- Ordered differential fields
- Topological differential fields
- On differentially closed ordered fields
- The uniform companion for fields with free operators in characteristic zero
This page was built for publication: Some remarks concerning the theory of ordered differentially closed fields.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2501395)
