rectification; Abhyankar-Sathaye embedding problem; variable nonstandard arithmetic; Galois theory; decision procedures; elementary theory of algebraically closed fields; undecidability; nonstandard model theory; Hilbert's irreducibility theorem; pseudo-algebraically closed fields; PAC fields; ultraproducts; Hilbertian field; absolut Galois group; embedding property 