Hilbert's Tenth Problem for rational function fields over p-adic fields

Claudia Degroote, Jeroen Demeyer

Let K be a p-adic field (a finite extension of some Q_p) and let K(t) be the field of rational functions over K. We define a kind of quadratic reciprocity symbol for polynomials ov…