Quantifier Elimination in Tame Infinite p-Adic Fields
Brigandt, Ingo
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 1493-1503 / Harvested from Project Euclid
We give an answer to the question as to whether quantifier elimination is possible in some infinite algebraic extensions of $\mathbb{Q}_p$ ('infinite p-adic fields') using a natural language extension. The present paper deals with those infinite p-adic fields which admit only tamely ramified algebraic extensions (so- called tame fields). In the case of tame fields whose residue fields satisfy Kaplansky's condition of having no extension of p-divisible degree quantifier elimination is possible when the language of valued fields is extended by the power predicates P$_n$, introduced by Macintyre and, for the residue field, further predicates and constants. For tame infinite p-adic fields with algebraically closed residue fields an extension by P$_n$ predicates is sufficient.
Publié le : 2001-09-14
Classification: 
@article{1183746574,
     author = {Brigandt, Ingo},
     title = {Quantifier Elimination in Tame Infinite p-Adic Fields},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 1493-1503},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746574}
}
Brigandt, Ingo. Quantifier Elimination in Tame Infinite p-Adic Fields. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  1493-1503. http://gdmltest.u-ga.fr/item/1183746574/