𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the separation of basic semialgebraic sets by polynomials

✍ Scribed by Ludwig Bröcker


Publisher
Springer
Year
1988
Tongue
English
Weight
360 KB
Volume
60
Category
Article
ISSN
0025-2611

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On the Number of Sets Definable by Polyn
✍ Gabriela Jeronimo; Juan Sabia 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 102 KB

We show that the known algorithms used to re-write any first order quantifierfree 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 polynomi