Comparison of exponential-logarithmic and logarithmic-exponential series

DOI10.1002/MALQ.201100113zbMATH Open1267.12005arXiv1112.4189OpenAlexW2085103831MaRDI QIDQ3144872FDOQ3144872

Authors: Salma Kuhlmann, Marcus Tressl 

Publication date: 10 December 2012

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

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.

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

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

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)

Cites Work

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

Cited In (11)

• 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
• Surreal ordered exponential fields

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)