Elimination of algorithmic quantifiers for ordered differential algebra (Q1127836)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Elimination of algorithmic quantifiers for ordered differential algebra |
scientific article; zbMATH DE number 1186293
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Elimination of algorithmic quantifiers for ordered differential algebra |
scientific article; zbMATH DE number 1186293 |
Statements
Elimination of algorithmic quantifiers for ordered differential algebra (English)
0 references
10 August 1998
0 references
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.
0 references
model theory
0 references
quantifier elimination
0 references
algorithm
0 references
ordered differential algebra
0 references
closed ordered differential fields
0 references
