%0 Journal Article
%T Monomialization of morphisms and p-adic quantifier elimination
%A Jan Denef
%J Mathematics
%D 2011
%I arXiv
%X 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).
%U http://arxiv.org/abs/1108.6237v1