Showing 1–2 of 2 results for author: Vogel, L

Definable ranks of almost real closed fields

Authors: Lothar Sebastian Krapp, Salma Kuhlmann, Lasse Vogel

Abstract: We introduce the notion of the definable rank of an ordered field, ordered abelian group and ordered set, respectively. We study the relation between the definable rank of an ordered field and the definable rank of the value group of its natural valuation. Similarly we compare the definable rank of an ordered abelian group and the value set of its natural valuation. We consider in particular the c… ▽ More We introduce the notion of the definable rank of an ordered field, ordered abelian group and ordered set, respectively. We study the relation between the definable rank of an ordered field and the definable rank of the value group of its natural valuation. Similarly we compare the definable rank of an ordered abelian group and the value set of its natural valuation. We consider in particular the case of an almost real closed field and give conditions under which the definable ranks on the level of field, of value group and of value set coincide. △ Less

Submitted 31 May, 2025; originally announced June 2025.

Comments: 16 pages

MSC Class: 03C64; 03C40 (Primary) 12J15; 12L12; 12J10; 06F20; 06A05 (Secondary)

Definable henselian valuations on dp-minimal real fields

Authors: Lothar Sebastian Krapp, Salma Kuhlmann, Lasse Vogel

Abstract: We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue field. We do so by first proving this for the more general setting of almost real closed fields. We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue field. We do so by first proving this for the more general setting of almost real closed fields. △ Less

Submitted 14 October, 2024; originally announced October 2024.

Comments: 12 pages

MSC Class: Primary 12J10 03C45; Secondary 03C60 03C40 13J30 16W60 12L12