A New Universal Definition of \mathbb{F}_q [t] in \mathbb{F}_q (t)

Abstract: This paper gives a universal definition of

m a t h b b F_{q} [t]

in

m a t h b b F_{q} (t)

using 89 quantifiers, more direct than those that exist in the current literature. The language

m a t h c a l L_{m b o x r i n g s, t}

we consider here is the language of rings

0, 1, +, -, c d o t

with an additional constant symbol

t

. We then modify this definition marginally to universally define

m a t h b b F_{q} [t]

in

m a t h b b F_{q} (t)

without parameters, using 90 quantifiers. We assume throughout that the characteristic of

m a t h b b F_{q}

is odd.

This page was built for publication: A New Universal Definition of $\mathbb{F}_q [t]$ in $\mathbb{F}_q (t)$