arXiv:1207.4223 Abstract | arXiv Analytics

Published 2012-07-17, updated 2017-01-19Version 4

In this paper, we give appropriate languages in which the theory of tame fields (of any characteristic) admits (relative) quantifier elimination.

Comments: This paper has been withdrawn by the authors due to a crucial error in a proof

Categories: math.LO

Subjects: 03C10

Keywords: tame fields, quantifier elimination, appropriate languages

Related articles: Most relevant | Search more

arXiv:1502.00573 [math.LO] (Published 2015-02-02)

Quantifier elimination in C*-algebras

arXiv:1802.00974 [math.LO] (Published 2018-02-03)

Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination

arXiv:2005.12681 [math.LO] (Published 2020-05-26)

Quantifier elimination for quasi-real closed fields

arXiv Analytics