Monomialization of morphisms and p-adic quantifier elimination
  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). 
Jan Denef
math.AG math.LO math.NT