rectification; Abhyankar-Sathaye embedding problem; variable totally ordered field; strong topology; strong approximation property; formally real algebraic extension; SAP; real algebraic variety; Hilbert's 17-th problem 