Showing math.LOShow all
3 papers · 1 filter
math.LO2020
Model completeness for the differential field of transseries with exponentiation
Elliot Kaplan
Let be the differential field of logarithmic-exponential transseries. We show that the expansion of by its natural exponential function is model complete…
math.LO2018
Logarithmic Hyperseries
Lou van den Dries, Joris van der Hoeven, Elliot Kaplan
We define the field of logarithmic hyperseries, construct on natural operations of differentiation, integration, and composition, establish the basic prop…
math.LO2018
Pairs of Theories Satisfying a Mordell-Lang Condition
Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan
This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal stru…