Loading...
Please wait, while we are loading the content...
Similar Documents
A New Universal Definition of $\mathbb{F}_q [t]$ in $\mathbb{F}_q (t)$.
| Content Provider | Semantic Scholar |
|---|---|
| Author | Tyrrell, Brian |
| Copyright Year | 2019 |
| Abstract | This paper gives a universal definition of $\mathbb{F}_q [t]$ in $\mathbb{F}_q (t)$ using 89 quantifiers, more direct than those that exist in the current literature. The language $\mathcal{L}_{\mbox{rings}, t}$ we consider here is the language of rings $\{0, 1, +, -, \cdot\}$ with an additional constant symbol $t$. We then modify this definition marginally to universally define $\mathbb{F}_q [t]$ in $\mathbb{F}_q (t)$ without parameters, using 90 quantifiers. We assume throughout that the characteristic of $\mathbb{F}_q$ is odd. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://arxiv.org/pdf/1905.05745v1.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
