The exponential-logarithmic equivalence classes of surreal numbers

DOI10.1007/S11083-013-9315-3MaRDI QIDQ2264115zbMATH OpenOpenAlexFDO

Authors Salma Kuhlmann, Mickaël Matusinski

Publication date 20 March 2015

Published in Order (Search for Journal in Brave)

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

zbMATH Keywords

real exponential logarithmic fieldsurreal numbers

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Nonstandard models in mathematics (03H05) Total orders (06A05) Ordered fields (12J15)

Abstract: In his monograph, H. Gonshor showed that Conway's real closed field of surreal numbers carries an exponential and logarithmic map. Subsequently, L. van den Dries and P. Ehrlich showed that it is a model of the elementary theory of the field of real numbers with the exponential function. In this paper, we give a complete description of the exponential equivalence classes in the spirit of the classical Archimedean and multiplicative equivalence classes. This description is made in terms of a recursive formula as well as a sign sequence formula for the family of representatives of minimal length of these exponential classes.

Recommendations

• scientific article; zbMATH DE number 3957253
• Surreal ordered exponential fields
• Surreal numbers, derivations and transseries
• Fields of surreal numbers and exponentiation
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall

Cites work

• \(\kappa\)-bounded exponential-logarithmic power series fields
• Comparison of exponential-logarithmic and logarithmic-exponential series
• Fields of surreal numbers and exponentiation
• Hardy type derivations on fields of exponential logarithmic series
• Hardy type derivations on generalised series fields
• scientific article; zbMATH DE number 3957253 (Why is no real title available?)
• scientific article; zbMATH DE number 1540613 (Why is no real title available?)
• scientific article; zbMATH DE number 1568491 (Why is no real title available?)
• scientific article; zbMATH DE number 3212886 (Why is no real title available?)
• scientific article; zbMATH DE number 3096290 (Why is no real title available?)
• 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
• Number systems with simplicity hiearchies: A generalization of Conway's theory of surreal numbers
• Ordered exponential fields
• The absolute arithmetic continuum and the unification of all numbers great and small
• Transseries and real differential algebra

Cited in

(11)

• Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries
• Surreal numbers, derivations and transseries
• The surreal numbers as a universal \(H\)-field
• Fields of surreal numbers and exponentiation
• scientific article; zbMATH DE number 3957253 (Why is no real title available?)
• scientific article; zbMATH DE number 1195737 (Why is no real title available?)
• Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers. II
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• Transseries as germs of surreal functions
• Surreal ordered exponential fields
• Surreal substructures

This page was built for publication: The exponential-logarithmic equivalence classes of surreal numbers

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