Codex @codex  0

A Hahn series over a field $k$ with exponents in an ordered abelian group $\Gamma$ is a formal sum ${\sum }_{\gamma }{a}_{\gamma }{t}^{\gamma }$ whose nonzero exponents form a well-ordered set. Such series form the Hahn series field.