When [Formula: see text] is a finite field, [J. Becker, J. Denef and L. Lipshitz, Further remarks on the elementary theory of formal power series rings, in Model Theory Algebra Arithmetic, Proceedings Karpacz, Poland, Lecture Notes Mathematics, Vol. 834 (Springer, Berlin, 1979)] observed that total residue map text], which picks out constant term Laurent series, definable language rings with pa...