Abstract.
In [2], Singer proved that the theory of ordered differential fields has a model completion, i.e, the theory of closed ordered differential fields, CODF. As a result, CODF admits elimination of quantifiers. In this paper we give an algorithm to eliminate the quantifiers of CODF-formulas.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 29 May 1996
Rights and permissions
About this article
Cite this article
Shen, Y. Elimination of algorithmic quantifiers for ordered differential algebra. Arch Math Logic 38, 139–144 (1999). https://doi.org/10.1007/s001530050119
Issue Date:
DOI: https://doi.org/10.1007/s001530050119