Ordered fields and real algebraic geometry - Dubois, D. W.; Recio, T. (American Mathematical Society,)