MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 481

Preprint Number 481

Previous Next Preprint server


481. Franz-Viktor Kuhlmann and Koushik Pal
Quantifier Elimination For Tame Fields
E-mail:

Submission date: 19 July 2012.

Abstract:

In this paper, we show that the theory of tame fields of equal characteristic admits (relative) quantifier elimination in an appropriate language.

Mathematics Subject Classification: 03C10

Keywords and phrases:

Full text arXiv 1207.4223: pdf, ps.


Last updated: July 27 2012 13:13 Please send your corrections to: