Published online by Cambridge University Press: 20 November 2018
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.