Construction of Hahn ternary fields by ternary fields of formal power series (Q1573688)

The author defines a ternary field operation (which depends on a generalized factor system) on the set of all formal power series with coefficients in a ternary field and exponents in a totally ordered loop, whose natural ultrametric induces a uniform valuation of the ternary ring. The resulting ternary field is called a Hahn ternary field. It is also shown that any ordering of the coefficient ternary field can (in the presence of an order-compatible generalized factor system) be extended to an ordering of the corresponding Hahn ternary field, which is compatible with the valuation.