MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

is the question whether a polynomial is non-negative on some semi-algebraic set (equivalently, is it in the cone denerated by some polynomials in the field of rational functions) known to be decidable?

share|cite|improve this question
up vote 1 down vote accepted

Assuming you're working over the real numbers (or at least over a real-closed field), the answer is yes. The question lies within the first-order theory of real-closed fields, and that theory is decidable by an old theorem of Tarski.

share|cite|improve this answer
hmm, yes, I forgot to mention (actually, any field which is dense in its real closure). Are there known relativley efficient algorithmm to it (i.e is it atleast primitive recursive), maybe using SOS stuff? – Lilach Leibovich Oct 6 '12 at 17:01
For real-closed fields, the decision procedure is primitive recursive, in fact "merely" double-exponential time (which I wouldn't call efficient). See for example Fields that are merely dense in their real-closures are likely to cause trouble. Even for the rationals, your question will involve arithmetical issues that I'd expect to be undecidable. – Andreas Blass Oct 6 '12 at 23:55

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.