2 papers
math.LO2020
Ordered fields dense in their real closure and definable convex valuations
Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy
In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine…
math.LO2018
On Strongly NIP Ordered Fields and Definable Convex Valuations
Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy
We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields whic…