I recently found the paper of Berarducci + Mantova [1, 2] saying that surreal numbers are equivalent to trans-series. These are very different objects:
- trans-series are used in physics to correct, Laplace transforms [3]
- Surreal Numbers, originate in Logic and describe combinatorial game theory, but may be used in Analysis [4].
Has anyone checked this equivalence? Is it correct?
