Ziegler's Indecomposability Criterion is used to prove that a totally transcendental, i.e., $\Sigma$-pure injective, indecomposable left module over a left noetherian ring is a directed union of finitely generated indecomposable modules. The same criterion is also used to give a sufficient condition for a pure injective indecomposable module ${_R}U$ to have an indecomposable local dual $U_R^{\sharp}.$

We show that the set of values of an additive polynomial in several variables with arguments in a formal Laurent series field over a finite field has the optimal approximation property: every element in the field has a (not necessarily unique) closest approximation in this set of values. The approximation is with respect to the canonical valuation on the field. This property is elementary in the language of valued rings.