On the value group of the transseries

Abstract

We prove that the value group of the field of transseries is isomorphic to the additive reduct of the field.

References in corpus (1)

• Transseries as germs of surreal functions

Cited by in corpus (1)

• On Vector Spaces with Formal Infinite Sums