Let K be a field of characteristic zero and let K((R≤0)) denote the ring of generalized power series (i.e., formal sums with well-ordered support) with coefficients in K, and non-positive real exponents. Berarducci (2000) constructed an irreducible omnific integer, in the sense of Conway (2001), by first proving that an element of K((R≤0)) that is not divisible by a monomial and whose support h...
