Ingo Brigandt. Quantifier Elimination in Tame Infinite p-ADIC Fields. Journal of Symbolic Logic, 66(3):1493-1503, 2001.
@article{Brigandt01, title = {Quantifier Elimination in Tame Infinite p-ADIC Fields}, author = {Ingo Brigandt}, year = {2001}, researchr = {https://researchr.org/publication/Brigandt01}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {66}, number = {3}, pages = {1493-1503}, }