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

surreal numbersreal exponential logarithmic field

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• 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
• \(\kappa\)-bounded exponential-logarithmic power series fields

Cited in

(10)

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

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)