A definable Henselian valuation with high quantifier complexity

@article{Halupczok2015ADH,
  title={A definable Henselian valuation with high quantifier complexity},
  author={Immanuel Halupczok and Franziska Jahnke},
  journal={Math. Log. Q.},
  year={2015},
  volume={61},
  pages={362-366}
}
  • Immanuel Halupczok, Franziska Jahnke
  • Published 2015
  • Mathematics, Computer Science
  • Math. Log. Q.
  • We give an example of a parameter-free definable Henselian valuation ring which is neither definable by a parameter-free inline image-formula nor by a parameter-free inline image-formula in the language of rings. This answers a question of Prestel. 

    Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 16 REFERENCES
    Definable Henselian Valuations
    • 22
    • PDF
    Definable non‐divisible Henselian valuations
    • 17
    • PDF
    Existential ∅-Definability of Henselian Valuation Rings
    • 13
    • PDF
    Existential equivalence of ordered abelian groups with parameters
    • 11
    Definable Henselian Valuation Rings
    • 14
    • PDF