RT Journal Article T1 The Positivstellensatz for definable functions on O-minimal structures A1 Acquistapace, Francesca A1 Andradas Heranz, Carlos A1 Broglia, Fabrizio AB 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}. PB University of Illinois SN 0019-2082 YR 2002 FD 2002 LK https://hdl.handle.net/20.500.14352/57152 UL https://hdl.handle.net/20.500.14352/57152 LA eng NO GNSAGA NO DGES DS Docta Complutense RD 9 abr 2025