7 citations · 14 across the 9 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2023
Ordered transexponential fields
Lothar Sebastian Krapp, Salma Kuhlmann
We develop a first-order theory of ordered transexponential fields in the language , where and stand for unary function symbols. While the archimedea…
math.LO2022
Definable valuations on ordered fields
Philip Dittmann, Franziska Jahnke, Lothar Sebastian Krapp +1
We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, o…