2015/07/14 by Arno Fehm, Alexander Prestel
Mathematics · Computer Science · #Rings, Modules, and Algebras #Logic, programming, and type systems
paper · doi:10.1112/blms/bdv042
We discuss definability of henselian valuation rings in the Macintyre language L Mac , the language of rings expanded by nth power predicates. In particular, we show that henselian valuation rings with finite or Hilbertian residue field are uniformly ∃- ∅-definable in L Mac , and henselian valuation rings with value group Z are uniformly ∃ ∀ - ∅-definable in the ring language, but not uniformly ∃- ∅-definable in L Mac . We apply these results to local fields Q p and F p ( ( t ) ) , as well as to higher dimensional local fields.