English
Related papers

Related papers: Surreal fields stable under exponential, logarithm…

200 papers

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 [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field $\mathbf{No}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered…

Logic · Mathematics 2021-06-24 Philip Ehrlich , Elliot Kaplan

For any ordinal $\alpha > 0$, we show how to define a hyperexponential $E_{\omega^{\alpha}}$ and a hyperlogarithm $L_{\omega^{\alpha}}$ on the class $\mathbf{No}^{>, \succ}$ of positive infinitely large surreal numbers. Such functions are…

Logic · Mathematics 2023-10-24 Vincent Bagayoko , Joris van der Hoeven

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

The present article surveys surreal numbers with an informal approach, from their very first definition to their structure of universal real closed analytic and exponential field. Then we proceed to give an overview of the recent…

Logic · Mathematics 2017-11-09 Vincenzo Mantova , Mickaël Matusinski

Several authors have conjectured that Conway's field of surreal numbers, equipped with the exponential function of Kruskal and Gonshor, can be described as a field of transseries and admits a compatible differential structure of Hardy-type.…

Logic · Mathematics 2018-02-21 Alessandro Berarducci , Vincenzo Mantova

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

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

Conway's field No of surreal numbers comes both with a natural total order and an additional "simplicity relation" which is also a partial order. Considering No as a doubly ordered structure for these two orderings, an isomorphic copy of No…

Logic · Mathematics 2023-05-04 Vincent Bagayoko , Joris van der Hoeven

On Cuesta-Conway numbers as an extension of Cantor's ordinals: A short introduction to surreal numbers. The class of Cuesta-Conway numbers, the surreal numbers, can be defined simply, starting from their normal forms (families of…

Logic · Mathematics 2022-04-18 Labib Haddad

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

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

We show that the natural embedding of the differential field of transseries into Conway's field of surreal numbers with the Berarducci-Mantova derivation is an elementary embedding. We also prove that any Hardy field embeds into the field…

Logic · Mathematics 2016-08-12 Matthias Aschenbrenner , Lou van den Dries , Joris van der Hoeven

Surreal numbers form the ultimate extension of the field of real numbers with infinitely large and small quantities and in particular with all ordinal numbers. Hyperseries can be regarded as the ultimate formal device for representing…

Logic · Mathematics 2023-10-24 Vincent Bagayoko , Joris van der Hoeven

We give a presentation of Conway's surreal numbers focusing on the connections with transseries and Hardy fields and trying to simplify when possible the existing treatments.

Logic · Mathematics 2020-08-18 Alessandro Berarducci

How many odd numbers are there? How many even numbers? From Galileo to Cantor, the suggestion was that there are the same number of odd, even and natural numbers, because all three sets can be mapped in one-one fashion to each other. This…

Logic · Mathematics 2025-01-28 Peter Lynch , Michael Mackey

The proper class of Conway's surreal numbers forms a rich totally ordered algebraically closed field with many arithmetic and algebraic properties close to those of real numbers, the ordinals, and infinitesimal numbers. In this paper, we…

Logic in Computer Science · Computer Science 2024-10-02 Karol Pąk , Cezary Kaliszyk

We study subfields of surreal numbers, called hyperseries fields, that are suited to be equipped with derivations and composition laws. We show how to define embeddings on hyperseries fields that commute with transfinite sums and all…

Logic · Mathematics 2024-10-07 Vincent Bagayoko

We consider derivations $\partial$ on Conway's field $\mathbf{No}$ of surreal numbers such that the ordered differential field $(\mathbf{No},\partial)$ has constant field $\mathbb{R}$ and is a model of the model companion of the theory of…

Logic · Mathematics 2018-07-25 Lou van den Dries , Philip Ehrlich

In [15], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field No of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field to be…

Logic · Mathematics 2015-12-15 Philip Ehrlich , Elliot Kaplan
‹ Prev 1 2 3 10 Next ›