
arXiv: 1210.7615
AbstractIn this note we investigate the question when a henselian valued field carries a nontrivial ∅-definable henselian valuation (in the language of rings). This is clearly not possible when the field is either separably or real closed, and, by the work of Prestel and Ziegler, there are further examples of henselian valued fields which do not admit a ∅-definable nontrivial henselian valuation. We give conditions on the residue field which ensure the existence of a parameter-free definition. In particular, we show that a henselian valued field admits a nontrivial henselian ∅-definable valuation when the residue field is separably closed or sufficiently nonhenselian, or when the absolute Galois group of the (residue) field is nonuniversal.
absolute Galois groups, 03C40, 12E30, 12J10 (Primary) 03C60, 12L12 (Secondary), Model-theoretic algebra, Henselian valued fields, definable valuations, Mathematics - Logic, Interpolation, preservation, definability, valuations, FOS: Mathematics, Logic (math.LO), Valued fields, Model theory of fields
absolute Galois groups, 03C40, 12E30, 12J10 (Primary) 03C60, 12L12 (Secondary), Model-theoretic algebra, Henselian valued fields, definable valuations, Mathematics - Logic, Interpolation, preservation, definability, valuations, FOS: Mathematics, Logic (math.LO), Valued fields, Model theory of fields
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 16 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
