Shlapentokh, Alexandra Diophantine undecidability of function fields of characteristic greater than 2, finitely generated over fields algebraic over a finite field. (English) Zbl 1011.03026 Compos. Math. 132, No. 1, 99-120 (2002). Let \(C\) be field, algebraic over a finite field of characteristic \(p>2\). Assume that \(C\) has an extension of degree \(p\). Let \(F\) be a function field of one variable over a finitely generated extension of \(C\). Then the analogue of Hilbert’s tenth problem has a negative solution over \(F\), meaning that there is a finite set of elements of \(F\) which generate a ring \(B\) with the following property: there is no algorithm which detects the existence of solutions in \(F\) of systems of polynomial equations (in any number of variables) with coefficients in \(B\). The set \(B\) apparently contains at least one transcendental element and depends on \(F\). This result increases the class of fields for which a similar statement has been proved. The expectation is that a similar result may hold for any finitely generated function field. Reviewer: Thanases Pheidas (Iraklion / Crete) Cited in 4 Documents MSC: 03C60 Model-theoretic algebra 11U05 Decidability (number-theoretic aspects) 03D35 Undecidability and degrees of sets of sentences 03B25 Decidability of theories and sets of sentences 12L05 Decidability and field theory 14G25 Global ground fields in algebraic geometry Keywords:decidability; function field; analogue of Hilbert’s tenth problem PDFBibTeX XMLCite \textit{A. Shlapentokh}, Compos. Math. 132, No. 1, 99--120 (2002; Zbl 1011.03026) Full Text: DOI