Real Algebraic Geometry And Ordered Structures by