The hyperserial field of surreal numbers

Abstract

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 archetypes of extremely fast and slowly growing functions at infinity. We also show that the surreal numbers form a so-called hyperserial field for our definition.

44 pages, comments are welcome