Geometric proofs of theorems of Ax-Kochen and Ersov

Jan Denef

We give an algebraic geometric proof of the Theorem of Ax and Kochen on p-adic diophantine equations in many variables. Unlike Ax-Kochen's proof, ours does not use any notions from…