Quantifier elimination in tame infinite p-adic fields

• Author(s) / Creator(s)

  • Brigandt, Ingo

• We give an answer to the question as to whether quantifier elimination is possible in some infinite algebraic extensions of QpQp ('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 Pnn, 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 Pnn predicates is sufficient.

• Date created

  2001

• Subjects / Keywords

  • Mathematical Constants
  • Axioms
  • Theoretical Linguistics
  • Polynomials
  • Predicates
  • Isomorphism
  • Logical Theorems
  • Algebra
  • Quantifier Elimination
  • Mathematical Theorems

• Type of Item

  Article (Published)

• DOI

  https://doi.org/10.7939/R3HM53058

• License

  © 2001 Association for Symbolic Logic. This version of this article is open access and can be downloaded and shared. The original author(s) and source must be cited.