The Hilbert's-Tenth-Problem Operator

Ken Kramer, Russell Miller

For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of polynomial equations over $R$, in several variables, with solutions in $R$. We view $HTP$ as an operator, mapping eac…