Comparison of Exponential-Logarithmic and Logarithmic-Exponential series
classification
🧮 math.LO
math.AC
keywords
fieldciteseriesexponential-logarithmiclogarithmic-exponentialconstructedembedsexplain
read the original abstract
We explain how the field of logarithmic-exponential series constructed in \cite{DMM1} and \cite {DMM2} embeds as an exponential field in any field of exponential-logarithmic series constructed in \cite{KK1}, \cite {K} and \cite {KS}. 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$(\R_{an, exp})$; the elementary theory of the ordered field of real numbers, with the exponential function and restricted analytic functions.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.