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?

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?