8 citations · 13 across the 5 of their papers we have counts for
5 papers
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…
Strongly NIP almost real closed fields
Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy
The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation…
Ant Routing scalability for the Lightning Network
Cyril Grunspan, Gabriel Lehéricy, Ricardo Pérez-Marco
The ambition of the Lightning Network is to provide a second layer to the Bitcoin network to enable transactions confirmed instantly, securely and anonymously with a world scale ca…
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…
A structure theorem for abelian quasi-ordered groups
Gabriel Lehéricy
We introduce a notion of compatible quasi-ordered groups which unifies valued and ordered abelian groups. It was proved in a paper by Fakhruddin that a compatible quasi-order on a…