The exponential-logarithmic equivalence classes of surreal numbers

DOI10.1007/S11083-013-9315-3zbMATH Open1388.12013arXiv1203.4538OpenAlexW2003523845MaRDI QIDQ2264115FDOQ2264115

Authors: Salma Kuhlmann, Mickaël Matusinski 

Publication date: 20 March 2015

Published in: Order (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• The absolute arithmetic continuum and the unification of all numbers great and small
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logarithmic-exponential series
• Transseries and real differential algebra
• Logarithmic-Exponential Power Series
• Comparison of exponential-logarithmic and logarithmic-exponential series
• Hardy type derivations on fields of exponential logarithmic series
• Hardy type derivations on generalised series fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(\kappa\)-bounded exponential-logarithmic power series fields
• Fields of surreal numbers and exponentiation
• Number systems with simplicity hiearchies: A generalization of Conway's theory of surreal numbers

Cited In (10)

• Title not available (Why is that?)
• 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
• Surreal ordered exponential fields

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)