Undecidability in function fields of positive characteristic
| dc.creator | Eisentraeger, Kirsten | |
| dc.creator | Shlapentokh, Alexandra | |
| dc.date | 2007-09-12 | |
| dc.date | 2008-02-27 | |
| dc.date.accessioned | 2026-07-07T09:23:10Z | |
| dc.date.available | 2026-07-07T09:23:10Z | |
| dc.description | We prove that the first-order theory of any function field K of characteristic p>2 is undecidable in the language of rings without parameters. When K is a function field in one variable whose constant field is algebraic over a finite field, we can also prove undecidability in characteristic 2. The proof uses a result by Moret-Bailly about ranks of elliptic curves over function fields. | |
| dc.description | 12 pages; strengthened main theorem, proved undecidability in the language of rings without parameters | |
| dc.identifier | https://arxiv.org/abs/0709.1739 | |
| dc.identifier | http://arxiv.org/abs/0709.1739 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/155636 | |
| dc.subject | Number Theory | |
| dc.subject | Logic | |
| dc.subject | 11U05 (Primary); 03B25 (Secondary) | |
| dc.title | Undecidability in function fields of positive characteristic | |
| dc.type | text |