2,251 research outputs found
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
- …