activity
19962022
most citedThe exponential-logarithmic equivalence classes of surreal numbers

15 citations · 173 across the 43 of their papers we have counts for

collaborators
Showing math.LOShow all

16 papers · 1 filter

math.LO2021★ 3 cited

Definability of henselian valuations by conditions on the value group

Lothar Sebastian Krapp, Salma Kuhlmann, Moritz Link

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 gr…

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.LO2020★ 2 cited

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…

math.LO2018★ 2 cited

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…

math.LO2018★ 5 cited

Exponential fields and Conway's omega-map

Alessandro Berarducci, Salma Kuhlmann, Vincenzo Mantova +1

Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove…

math.LO2017

Definable Valuations induced by multiplicative subgroups and NIP Fields

Katharina Dupont, Assaf Hasson, Salma Kuhlmann

We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields…