Comparison of exponential-logarithmic and logarithmic-exponential series

Salma Kuhlmann,Marcus Tressl
DOI: https://doi.org/10.1002/malq.201100113
2012-10-09
Mathematical Logic Quarterly
Abstract:We explain how the field of logarithmic‐exponential series constructed in 20 and 21 embeds as an exponential field in any field of exponential‐logarithmic series constructed in 9, 6, and 13. On the other hand, we explain why no field of exponential‐logarithmic series embeds in the field of logarithmic‐exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non‐isomorphic models of Th$$(\mathbb {R}_{\mbox{an, exp}})$$; the elementary theory of the ordered field of real numbers, with the exponential function and restricted analytic functions.
mathematics,logic
What problem does this paper attempt to address?