activity
20132026
most citedDefinability of henselian valuations by conditions on the value group

3 citations · 15 across the 21 of their papers we have counts for

collaborators
Showing 2023Show 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.LO2023★ 1 cited

Embedding the prime model of real exponentiation into o-minimal exponential fields

Lothar Sebastian Krapp

Motivated by the decidability question for the theory of real exponentiation and by the Transfer Conjecture for o-minimal exponential fields, we show that, under the assumption of…