Local symbols and a first-order definition of the polynomial ring over an ultra-finite field in its fraction field

In this paper, we prove the existence of a first-order definition of the polynomial ring over a nonprincipal ultraproduct of finite fields of distinct characteristics in its fraction field by a universal-existential formula in the language of rings augmented by an additional constant symbol $t$