Submission date: 14 May 2019

Abstract:

This paper gives a universal definition of 𝔽_q [t] in 𝔽_q(t) using 89 quantifiers, more direct than those that exist in the current literature. The language L_{rings, t} we consider here is the language of rings { 0, 1, +, -, ⋅ } with an additional constant symbol t. We then modify this definition marginally to universally define 𝔽_q [t] in 𝔽_q (t) without parameters, using 90 quantifiers. We assume throughout that the characteristic of 𝔽_q is odd.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1905.05745: pdf, ps.