Submission date: 6September 2023

Abstract:

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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2309.02738: pdf, ps.