MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 351

Preprint Number 351

Previous Next Preprint server


351. Jan Denef
Monomialization of morphisms and p-adic quantifier elimination
E-mail:

Submission date: 31 August 2011.

Abstract:

We give a short proof of Macintyre's Theorem on Quantifier Elimination for the p-adic numbers, using a version of monomialization that follows directly from the Weak Toroidalization Theorem of Abramovich an Karu (extended to non-closed fields).

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1108.6237: pdf, ps.


Last updated: September 4 2011 06:41 Please send your corrections to: