rectification; Abhyankar-Sathaye embedding problem; variable decidability; Hilbert's Tenth Problem; uncomputably large integral points on algebraic curves; diophantine prefix; polynomials; height bounds; geometry of complex surfaces and 3-folds 