Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
This is a short survey of known results about elimination of quantifiers over natural numbers, and some implications of these results on the power of computer algebra systems. (C) 2004 IMACS. Published by Elsevier B.V. All rights reserved.
quantifier elimination diophantine equations davis conjecture dprm-theorem hilbert's tenth problem