MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1613
Preprint Number 1613
1613. Brian Tyrrell A New Universal Definition of 𝔽_q [t] in 𝔽_q
(t). E-mail: 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: |

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