Title of article :
On the Number of Sets Definable by Polynomials
Author/Authors :
Gabriela Jeronimo، نويسنده , , Juan Sabia، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Abstract :
We show that the known algorithms used to re-write any first order quantifier-free formula over an algebraically closed field into its normal disjunctive form are essentially optimal. This result follows from an estimate of the number of sets definable by equalities and inequalities of fixed polynomials. Finally we apply our results to obtain similar estimates in the real case.
Keywords :
polynomial-definable sets , Algebraic complexity , Algorithms
Journal title :
Journal of Algebra
Journal title :
Journal of Algebra