English
Related papers

Related papers: Surreal numbers, exponentiation and derivations

200 papers

From the simplest point of view, transseries are a new kind of expansion for real-valued functions. But transseries constitute much more than that--they have a very rich (algebraic, combinatorial, analytic) structure. The set of transseries…

Rings and Algebras · Mathematics 2010-11-08 G. A. Edgar

The class $\mathbf{No}$ of surreal numbers, which John Conway discovered while studying combinatorial games, possesses a rich numerical structure and shares many arithmetic and algebraic properties with the real numbers. Some work has also…

Classical Analysis and ODEs · Mathematics 2015-05-21 Simon Rubinstein-Salzedo , Ashvin Swaminathan

Conway's real closed field $\mathbf{No}$ of surreal numbers is a sweeping generalization of the real numbers and the ordinals to which a number of elementary functions such as log and exponentiation have been shown to extend. The problems…

Logic · Mathematics 2024-07-08 Ovidiu Costin , Philip Ehrlich

In his monograph On Numbers and Games, J. H. Conway introduced a real-closed field No of surreal numbers containing the reals and the ordinals, as well as a vast array of less familiar numbers. A longstanding aim has been to develop…

Logic · Mathematics 2015-08-26 Ovidiu Costin , Philip Ehrlich , Harvey M. Friedman

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…

Commutative Algebra · Mathematics 2016-10-10 Salma Kuhlmann , Mickaël Matusinski

We show that \'Ecalle's transseries and their variants (LE and EL-series) can be interpreted as functions from positive infinite surreal numbers to surreal numbers. The same holds for a much larger class of formal series, here called…

Logic · Mathematics 2024-01-24 Alessandro Berarducci , Vincenzo Mantova

Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real…

The notion of surreal number was introduced by J.H. Conway in the mid 1970's: the surreal numbers constitute a linearly ordered (proper) class $No$ containing the class of all ordinal numbers ($On$) that, working within the background set…

Category Theory · Mathematics 2019-12-02 Dimi Rocha Rangel , Hugo Luiz Mariano

There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these…

Logic · Mathematics 2020-03-30 Ivan Georgiev , Lars Kristiansen , Frank Stephan

We study the existence of formal Taylor expansions for functions defined on fields of generalised series. We prove a general result for the existence and convergence of those expansions for fields equipped with a derivation and an…

Logic · Mathematics 2025-09-11 Vincent Bagayoko , Vincenzo Mantova

Surreal numbers, have a very rich and elegant theory. This class of numbers, denoted by No, includes simultaneously the ordinal numbers and the real numbers, and forms a universal huge real closed field: It is universal in the sense that…

Logic · Mathematics 2022-01-21 Olivier Bournez , Quentin Guilmant

In this work we study the space complexity of computable real numbers represented by fast convergent Cauchy sequences. We show the existence of families of trascendental numbers which are logspace computable, as opposed to algebraic…

Computational Complexity · Computer Science 2018-05-08 Masaki Nakanishi , Marcos Villagra

About Conway's surreal numbers: A letter to a friend (written in French). In memoriam John Horton Conway.

History and Overview · Mathematics 2021-02-02 Labib Haddad

We show that the composition of omega-series by surreal numbers, or more generally by elements of any confluent field of transseries, is monotonic in its second argument. In particular, omega-series and LE-series interpreted as functions…

Logic · Mathematics 2026-05-12 Vincenzo Mantova

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal…

Artificial Intelligence · Computer Science 2021-11-02 Eddy Keming Chen , Daniel Rubio

We study the computational complexity of converting one representation of real numbers into another representation. Typical examples of representations are Cauchy sequences, base-10 expansions, Dedekind cuts and continued fractions.

Logic · Mathematics 2023-04-17 Amir M. Ben-Amram , Lars Kristiansen , Jakob Grue Simonsen

We suggest new types and interpretation of complex and hypercomplex numbers for which the commutative, associative, and distributive laws and the norm axioms are trivially satisfied.

Complex Variables · Mathematics 2009-03-26 Alexander I. Zhbanov

We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version…

Number Theory · Mathematics 2024-11-20 Tim Browning , Lillian B. Pierce , Damaris Schindler

Treating divergent series properly has been an ongoing issue in mathematics. However, many of the problems in divergent series stem from the fact that divergent series were discovered prior to having a number system which could handle them.…

General Mathematics · Mathematics 2020-01-23 Jonathan Bartlett , Logan Gaastra , David Nemati

The aim of this paper is to investigate some properties, recurrence relations and identities involving degenerate hyperharmonic numbers, hyperharmonic numbers and degenerate harmonic numbers. In particular, we derive an explicit expression…

Number Theory · Mathematics 2022-05-23 Taekyun Kim , Dae San Kim