Αποστολή με SMS: Partially ordered rings and semi-algebraic geometry