Comparison of exponential-logarithmic and logarithmic-exponential series

DOI10.1002/MALQ.201100113MaRDI QIDQ3144872zbMATH OpenOpenAlexFDO

Authors Salma Kuhlmann, Marcus Tressl

Publication date 10 December 2012

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1112.4189

zbMATH Keywords

ordered fieldgeneralized power seriesexponential fieldreal exponentiationnon-archimedean models

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Formal power series rings (13F25) Valued fields (12J10) Ordered fields (12J15) Model theory of fields (12L12) Valuations and their generalizations for commutative rings (13A18)

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.

Recommendations

• Logarithmic-exponential series
• Hardy type derivations on fields of exponential logarithmic series
• The field of LE-series with a nonstandard analytic structure
• Logarithmic-Exponential Power Series
• The elementary theory of restricted analytic fields with exponentiation

Cites work

• A family of \(2^{\aleph_1}\) logarithmic functions of distinct growth rates
• Exponentiation in power series fields
• Growth Properties of Functions in Hardy Fields
• Hardy type derivations on fields of exponential logarithmic series
• Hardy type derivations on generalised series fields
• Introduction to analyzable functions and constructive proof of the Dulac conjecture
• Logarithmic-Exponential Power Series
• Logarithmic-exponential series
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On Exponentially Closed Fields
• On Ordered Division Rings
• Ordered exponential fields
• Schanuel's conjecture and free exponential rings
• The elementary theory of restricted analytic fields with exponentiation
• The limit behaviour of exponential terms
• Transseries and real differential algebra
• \(\kappa\)-bounded exponential-logarithmic power series fields

Cited in

(11)

• Surreal ordered exponential fields
• On generalized series fields and exponential-logarithmic series fields with derivations
• \(\kappa\)-bounded exponential-logarithmic power series fields
• Hardy type derivations on fields of exponential logarithmic series
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• The exponential-logarithmic equivalence classes of surreal numbers
• Transseries as germs of surreal functions
• Logarithmic-exponential series
• Exponentiation in power series fields
• Transseries and Todorov-Vernaeve's asymptotic fields
• The field of LE-series with a nonstandard analytic structure

This page was built for publication: Comparison of exponential-logarithmic and logarithmic-exponential series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3144872)