Quantifier elimination for real closed fields: A guide to the literature. (English) Zbl 0495.03016

Computer algebra, symbolic and algebraic computation, Comput. Suppl. 4, 79-81 (1982).


03C10 Quantifier elimination, model completeness, and related topics
68W30 Symbolic computation and algebraic computation
03B25 Decidability of theories and sets of sentences
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03G15 Cylindric and polyadic algebras; relation algebras
03C60 Model-theoretic algebra


Zbl 0491.00019