pith. sign in

arxiv: 1210.7615 · v4 · pith:FYZXJWWTnew · submitted 2012-10-29 · 🧮 math.LO

Definable henselian valuations

classification 🧮 math.LO
keywords henselianfielddefinablenon-trivialresiduevaluationvaluedwhen
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.