Back to Search
Start Over
Comparison of Exponential-Logarithmic and Logarithmic-Exponential series
- Source :
- Math. Logic Quarterly, 58, No. 6, 434 - 448 (2012)
- Publication Year :
- 2011
-
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.
- Subjects :
- Mathematics - Logic
Mathematics - Commutative Algebra
Subjects
Details
- Database :
- arXiv
- Journal :
- Math. Logic Quarterly, 58, No. 6, 434 - 448 (2012)
- Publication Type :
- Report
- Accession number :
- edsarx.1112.4189
- Document Type :
- Working Paper