Quantifier Elimination For Tame Fields
Logic
2017-01-20 v4
Abstract
In this paper, we give appropriate languages in which the theory of tame fields (of any characteristic) admits (relative) quantifier elimination.
Cite
@article{arxiv.1207.4223,
title = {Quantifier Elimination For Tame Fields},
author = {Franz-Viktor Kuhlmann and Koushik Pal},
journal= {arXiv preprint arXiv:1207.4223},
year = {2017}
}
Comments
This paper has been withdrawn by the authors due to a crucial error in a proof