Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1774

Preprint Number 1774

Previous Next Preprint server

1774. Elliot Kaplan
Model completeness for the differential field of transseries with exponentiation

Submission date: 30 April 2020


Let 𝕋 be the differential field of logarithmic-exponential transseries. We show that the expansion of 𝕋 by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field. We adapt our results to show that the expansion of 𝕋 by this exponential function and by its natural restricted sine and restricted cosine functions is also model complete and locally o-minimal.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2004.14957: pdf, ps.

Last updated: May 5 2020 20:31 Please send your corrections to: