Hilbert's tenth problem for rational function fields over \(p\)-adic fields (Q1931690)

The main result of the paper under review is that Hilbert's Tenth Problem is not decidable over the rational function field in one variable with the constant field that is the dyadic completion of \(\mathbb Q\) (usually denoted by \(\mathbb Q_2\)), or, in other words, there is no algorithm to tell if an arbitrary multi variable polynomial equation with coefficients in this function field has solutions in this field. This result partially extends a result of \textit{K. H. Kim} and \textit{F. W. Roush} [J. Algebra 176, No. 1, 83--110 (1995; Zbl 0858.12006)] who showed that Hilbert's Tenth Problem does not have a solution over any rational function field whose constant field is subfield of a \(p\)-adic completion of \(\mathbb Q\) for an \textit{odd } \(p\). The result of Kim and Roush was extended by \textit{K. Eisenträger} [J. Algebra 310, No. 2, 775--792 (2007; Zbl 1152.11050)] and \textit{L. Moret-Bailly} [J. Reine Angew. Math. 587, 77--143 (2005; Zbl 1085.14029)] to algebraic extensions of function fields with constant fields contained in \(\mathbb Q_p\) for odd \(p\) or formally real.