INVESTIGADORES
JERONIMO gabriela Tali
artículos
Título:
On the number of sets definable by polynomials
Autor/es:
GABRIELA JERONIMO; JUAN SABIA
Revista:
JOURNAL OF ALGEBRA
Editorial:
Academic Press
Referencias:
Año: 2000 vol. 277 p. 633 - 644
ISSN:
0021-8693
Resumen:
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 on 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.
