Hahn field

C49395
concept

A Hahn field is a field of formal series with coefficients in a given field and exponents in a totally ordered abelian group, where each series has well-ordered support.

Instances (1)

Instance Via concept surface
Levi-Civita field