271 citations · 561 across the 18 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.AG2011★ 1 cited
Monomialization of morphisms and p-adic quantifier elimination
Jan Denef
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 Toroidalizatio…
math.AG2011★ 5 cited
Proof of a conjecture of Colliot-Thélène
Jan Denef
We prove a conjecture of Colliot-Thélène that implies the Ax-Kochen Theorem on p-adic forms. We obtain it as an easy consequence of a diophantine excision theorem whose proof forms…