%0 Journal Article
%A Acquistapace, Francesca
%A Andradas Heranz, Carlos
%A Broglia, Fabrizio
%T The Positivstellensatz for definable functions on O-minimal structures
%D 2002
%@ 0019-2082
%U https://hdl.handle.net/20.500.14352/57152
%X In this note we prove two Positivstellensatze for definable functions of class C-r, 0 less than or equal to r < ∞, 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) ≥ 0,...,f(k) ≥ 0}.
%~