Surreal numbers, derivations and transseries
Abstract
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. In this paper we give a complete positive solution to both problems. We also show that with this new differential structure, the surreal numbers are Liouville closed, namely the derivation is surjective.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2015
- DOI:
- 10.48550/arXiv.1503.00315
- arXiv:
- arXiv:1503.00315
- Bibcode:
- 2015arXiv150300315B
- Keywords:
-
- Mathematics - Logic;
- 03C64;
- 16W60;
- 04A10;
- 26A12;
- 13N15
- E-Print:
- 47 pages