Quantifier Elimination in Tame Infinite p-ADIC Fields

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},
}