Undecidability in function fields of positive characteristic

Kirsten Eisenträger, Alexandra Shlapentokh

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages (from-to)4051-4086
Number of pages36
JournalInternational Mathematics Research Notices
Volume2009
Issue number21
DOIs
StatePublished - 2009

All Science Journal Classification (ASJC) codes

  • General Mathematics

Fingerprint

Dive into the research topics of 'Undecidability in function fields of positive characteristic'. Together they form a unique fingerprint.

Cite this