Defining Multiplication in Some Additive Expansions of Polynomial Rings
Françoise Point, Michel Rigo, Laurent Waxweiler · Communications in Algebra · 2016
Adapting a result of R. Villemaire on expansions of Presburger arithmetic, we show how to define multiplication in some expansions of the additive reduct of certain Euclidean rings. In particular, this applies to polynomial rings over a finite field.