相关论文: Surreal numbers, exponentiation and derivations
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…
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.…
We make a number of observations on Conway surreal number theory which may be useful, for further developments, in both in mathematics and theoretical physics. In particular, we argue that the concepts of surreal numbers and matroids can be…
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…
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…
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…
The class of surreal numbers, denoted by $\textbf{No}$, initially proposed by Conway, is a universal ordered field in the sense that any ordered field can be embedded in it. They include in particular the real numbers and the ordinal…
Conway's surreal numbers were aptly named by Knuth. This note examines how far one can get towards implementing surreals and the arithmetic operations on them so that they execute efficiently. Lazy evaluation and recursive data structures…
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…
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…
Using the sign expansion of the surreal numbers, we give a possible notion of convergence for surreal sequences.
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…
Germs of real-valued functions, surreal numbers, and transseries are three ways to enrich the real continuum by infinitesimal and infinite quantities. Each of these comes with naturally interacting notions of ordering and derivative. The…
We define a multiplication on the surreal numbers as higher inductive-inductive types.
We take up Dedekind's question ''Was sind und was sollen die Zahlen?'' (''What are numbers, and would should they be?''), with the aim to describe the place that Conway's (Surreal) Numbers and Games take, or deserve to take, in the whole of…
We study the automorphism group of the field of surreal numbers. Our main structure theorem presents a decomposition of this group into a product of five significant factors. Using the representation of surreal numbers as generalized power…
We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of Todorov and Vernaeve, answered in this paper.
We note that if a sequence of real numbers converges to some limit, then the sequence of the corresponding strings in the surreal $+,-$ sign expansion representation converges, for a natural notion of string convergence, to the string…
In this treatise on the theory of the continuum of the surreal numbers of J.H. Conway, is proved ,that the three different techniques and hierarchies of the continuums of the transfinite real numbers of Glayzal A. (1937) defined through…
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…