rectification; Abhyankar-Sathaye embedding problem; variable topos; variable reals; separably real closed local ring; Dedekind reals; coherent axiomatization; semi-algebraic geometry; elimination of quantifiers 