Monomialization of morphisms and p-adic quantifier elimination
classification
🧮 math.AG
math.LOmath.NT
keywords
eliminationmonomializationp-adicquantifiertheoremabramovichdirectlyextended
read the original 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).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.