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

44 papers

math.AC2022

Generalised power series determined by linear recurrence relations

Lothar Sebastian Krapp, Salma Kuhlmann, Michele Serra

In 1882, Kronecker established that a given univariate formal Laurent series over a field can be expressed as a fraction of two univariate polynomials if and only if the coefficien…

math.FA2022★ 7 cited

An intrinsic characterization of moment functionals in the compact case

Maria Infusino, Salma Kuhlmann, Tobias Kuna +1

We consider the class of all linear functionals on a unital commutative real algebra that can be represented as an integral w.r.t. to a Radon measure with compact support i…

math.AC2021★ 3 cited

The automorphism group of a valued field of generalised formal power series

Salma Kuhlmann, Michele Serra

Let be a field, a totally ordered abelian group and the maximal field of generalised power series, endowed with the canonical valuation . We…

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…