1 research outputs found
A definable henselian valuation with high quantifier complexity
We give an example of a parameter-free definable henselian valuation ring
which is neither definable by a parameter-free -formula nor by
a parameter-free -formula in the language of rings. This
answers a question of Prestel.Comment: 6 page