The Positivstellensatz for definable functions on O-minimal structures

Abstract

In this note we prove two Positivstellensatze for definable functions of class C-r, 0 less than or equal to r < &INFIN;, in any o-minimal structure S expanding a real closed field R. Namely, we characterize the definable functions that are nonnegative (resp. strictly positive) on basic definable sets of the form F = {f(1) &GE; 0,...,f(k) &GE; 0}.