Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1985

Preprint Number 1985

Previous Next Preprint server

1985. Lothar Sebastian Krapp, Salma Kuhlmann, Moritz Link
Definability of henselian valuations by conditions on the value group

Submission date: 19 May 2021


Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we present a construction method for a $t$-henselian non-henselian ordered field elementarily equivalent to a henselian field with a specified value group.

Mathematics Subject Classification: 03C40, 12L12, Secondary: 13J15, 03C64, 12J10, 12J25

Keywords and phrases:

Full text arXiv 2105.09234: pdf, ps.

Last updated: June 1 2021 11:48 Please send your corrections to: