Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field (Q2359446)

Summary: We prove that the existential theory of any function field \(K\) of characteristic \(p>0\) is undecidable in the language of rings augmented by constant symbols for the elements of a suitable recursive subfield, provided that the constant field does not contain the algebraic closure of a finite field. This theorem is the natural generalization of a theorem of \textit{K. H. Kim} and \textit{F. W. Roush} from 1992 [J. Algebra 150, 35--44 (1992; Zbl 0754.11039)]. We also extend our previous undecidability proof for function fields of higher transcendence degree to characteristic 2 and show that the first-order theory of any function field of positive characteristic is undecidable in the language of rings without parameters.