44 research outputs found
Definable henselian valuations
In this note we investigate the question whether a henselian valued field
carries a non-trivial 0-definable henselian valuation (in the language of
rings). It follows from the work of Prestel and Ziegler that there are
henselian valued fields which do not admit a 0-definable non-trivial henselian
valuation. We give conditions on the residue field which ensure the existence
of a parameter-free definiton. In particular, we show that a henselian valued
field admits a non-trivial 0-definable valuation when the residue field is
separably closed or sufficiently non-henselian, or when the absolute Galois
group of the (residue) field is non-universal.Comment: 14 pages, revised versio
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