Comparison of exponential-logarithmic and logarithmic-exponential series

&
Mathematical Logic Quarterly 58 (6):434-448 (2012)
  Copy   BIBTEX

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 Thequation image; the elementary theory of the ordered field of real numbers, with the exponential function and restricted analytic functions

Categories

Keywords

Reprint years

DOI

10.1002/malq.201100113

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Field of LE-Series with a Nonstandard Analytic Structure.Ali Bleybel - 2011 - Notre Dame Journal of Formal Logic 52 (3):255-265.
Κ -bounded exponential-logarithmic power series fields.Salma Kuhlmann & Saharon Shelah - 2005 - Annals of Pure and Applied Logic 136 (3):284-296.
Logarithmic-exponential series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
Surreal Ordered Exponential Fields.Philip Ehrlich & Elliot Kaplan - 2021 - Journal of Symbolic Logic 86 (3):1066-1115.
Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts.Emil Jeřábek - 2023 - Mathematical Logic Quarterly 69 (2):244-260.
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 , pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 , pp. 417–434. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
On roots of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.

Analytics

Added to PP
2013-12-01

Downloads
38 (#622,493)

6 months
7 (#469,699)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Surreal Ordered Exponential Fields.Philip Ehrlich & Elliot Kaplan - 2021 - Journal of Symbolic Logic 86 (3):1066-1115.

Add more citations

References found in this work

Logarithmic-exponential series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
Schanuel's conjecture and free exponential rings.Angus Macintyre - 1991 - Annals of Pure and Applied Logic 51 (3):241-246.
Κ -bounded exponential-logarithmic power series fields.Salma Kuhlmann & Saharon Shelah - 2005 - Annals of Pure and Applied Logic 136 (3):284-296.

Add more references