Comparison of exponential‐logarithmic and logarithmic‐exponential series
Salma Kuhlmann, Marcus Tressl
Abstract
Salma Kuhlmann, Marcus Tressl
Abstract
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\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$(\mathbb {R}_{\mbox{an, exp}})$\end{document} ; the elementary theory of the ordered field of real numbers, with the exponential function and restricted analytic functions.
OpenAlex reports 10 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$(\mathbb {R}_{\mbox{an, exp}})$\end{document} ; the elementary theory of the ordered field of real numbers, with the exponential function and restricted analytic functions.
Key concepts: Logarithm, Exponential function, Mathematics, Series (stratigraphy), Exponential formula, Field (mathematics), Double exponential function, Natural exponential family