Publications > Preprint server > Preprint Number 1774
Preprint Number 1774
1774. Elliot Kaplan Model completeness for the differential field of transseries with exponentiation E-mail: Submission date: 30 April 2020 Abstract: 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: |
Last updated: March 23 2021 09:21 | Please send your corrections to: |