Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1613

Preprint Number 1613

Previous Next Preprint server

1613. Brian Tyrrell
A New Universal Definition of 𝔽_q [t] in 𝔽_q (t).

Submission date: 14 May 2019


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.

Last updated: March 23 2021 10:21 Please send your corrections to: