Publications > Preprint server > Preprint Number 351
Preprint Number 351
351. Jan Denef
Monomialization of morphisms and p-adic quantifier elimination
Submission date: 31 August 2011.
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:
|Last updated: March 23 2021 10:22||Please send your corrections to:|