paper

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