# 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}
}
• 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.