Factorization in generalized power series

A classical tool in the study of real closed fields are the fields K((G)) of generalized power series (i.e., formal sums with well-ordered support) with coefficients in a field K of characteristic 0 and exponents in an ordered abelian group G. We generalize previous results about irreducible elements and unique factorization in the subring K((G≤0)).