Related papers: Sign sequences of log-atomic numbers
Using the sign expansion of the surreal numbers, we give a possible notion of convergence for surreal sequences.
We define a multiplication on the surreal numbers as higher inductive-inductive types.
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…
We introduce the notion of infinitely log-monotonic sequences. By establishing a connection between completely monotonic functions and infinitely log-monotonic sequences, we show that the sequences of the Bernoulli numbers, the Catalan…
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…
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…
Surreal numbers are created recursively, with the "birthday" being the depth of the recursion. Birthday arithmetic describes how birthdays of surreal numbers are transformed by standard arithemetic operations. This paper shows that birthday…
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…
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…
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…
We introduce the notion of logarithmically concave (or log-concave) sequences in Coding Theory. A sequence $a_0, a_1, \dots, a_n$ of real numbers is called log-concave if $a_i^2 \ge a_{i-1}a_{i+1}$ for all $1 \le i \le n-1$. A natural…
Two general methods for establishing the logarithmic behavior of recursively defined sequences of real numbers are presented. One is the interlacing method, and the other one is based on calculus. Both methods are used to prove logarithmic…
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…
Let surreal numbers be defined by means of sign sequences. We give a proof that if $S < T$ are sets of surreals, then there is some surreal $w$ such that $S < w < T$. The classical proof is simplified by observing that, for every set $S$ of…
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…
A sequence $\{z_n\}_{n\geq0}$ is called ratio log-convex in the sense that the ratio sequence $\{\frac{z_{n+1}}{z_n}\}_{n\geq0}$ is log-convex. Based on a three-term recurrence for sequences, we develop techniques for dealing with the ratio…
The aim of the present article is to explore the possibilities of representing positive integers as sums of other positive integers and highlight certain fundamental connections between their multiplicative and additive properties. In…
A symbolic method for solving linear recurrences of combinatorial and statistical interest is introduced. This method essentially relies on a representation of polynomial sequences as moments of a symbol that looks as the framework of a…
We introduce the three-Catalan triangle, highlighting the three-Catalan numbers along with their recurrence relation and combinatorial interpretation, which allows us to establish their log-convexity. Additionally, we prove that the rows of…
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…