A continuous, constructive solution to Hilbert's 17th problem.
A note on the pp conjecture for sheaves of spaces of orderings
In this note we provide a direct and simple proof of a result previously obtained by Astier stating that the class of spaces of orderings for which the pp conjecture holds true is closed under sheaves over Boolean spaces.