Monomialization of morphisms and p-adic quantifier elimination
Algebraic Geometry
2011-09-01 v1 Logic
Number Theory
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).
Cite
@article{arxiv.1108.6237,
title = {Monomialization of morphisms and p-adic quantifier elimination},
author = {Jan Denef},
journal= {arXiv preprint arXiv:1108.6237},
year = {2011}
}
Comments
6 pages