16W60 Valuations, completions, formal power series and related constructions (associative rings and algebras) [See also 13Jxx] 1359