Elimination of algorithmic quantifiers for ordered differential algebra
F. M. Singer proved that the theory of ordered differential fields ODF 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 in finitely many steps.
scientific article; zbMATH DE number 1186293