rectification; Abhyankar-Sathaye embedding problem; variable equations over finite fields; elliptic curves; diophantine equations in two variables; quadratic residues; large sieve; Mordell's theorem; Riemann Roch theorem; rational points; integral points; Thue equation; superelliptic equations; nonstandard arithmetic; Hilbert's tenth problem 