Email Record: Partially ordered rings and semi-algebraic geometry /