Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 988

Preprint Number 988

Previous Next Preprint server

988. Jan Denef
Geometric proofs of theorems of Ax-Kochen and Ersov

Submission date: 14 January 2016.


[To appear in a special volume of the American Journal of Mathematics dedicated to the memory of Professor Jun-ichi Igusa]
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 mathematical logic and is based on weak toroidalization of morphisms. We also show how this geometric approach yields new proofs of the Ax-Kochen-Ersov transfer principle for local fields, and of quantifier elimination theorems of Basarab and Pas.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1601.03607: pdf, ps.

Last updated: January 22 2016 15:34 Please send your corrections to: