Undecidability in function fields of positive characteristic

Kirsten Eisenträger, Alexandra Shlapentokh

Research output: Contribution to journalArticle

7 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 - Dec 1 2009

All Science Journal Classification (ASJC) codes

  • Mathematics(all)

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

  • Cite this