Quantifier Elimination For Tame Fields
arXiv:1207.4223
Abstract
In this paper, we give appropriate languages in which the theory of tame fields (of any characteristic) admits (relative) quantifier elimination.
This paper has been withdrawn by the authors due to a crucial error in a proof