11 citations · 18 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 1 cited
Model completeness for the differential field of transseries with exponentiation
Elliot Kaplan
We show that the expansion of the valued differential field of logarithmic-exponential transseries by its natural exponential function is model complete. We give an axiomatization…
math.LO2020
Surreal ordered exponential fields
Philip Ehrlich, Elliot Kaplan
In [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field of surreal numbers was brought to the fore and employed to pr…