Existential ∅-Definability of Henselian Valuation Rings

Article English OPEN
Fehm, Arno;
  • Identifiers: doi: 10.1017/jsl.2014.13
  • Subject: Henselian valuation, existential definability, finite fields, pseudo-algebraically closed fields
    • ddc: ddc:510

In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields... View more
Share - Bookmark