Set-Theoretic Reductions of Hilbert's Tenth Problem.

Domenico Cantone Vincenzo Cutello Alberto Policriti Set-Theoretic Reductions of Hilbert's Tenth Problem. 65-75 1989 conf/csl/1989 CSL db/conf/csl/csl89.html#CantoneCP89 http://dx.doi.org/10.1007/3-540-52753-2_32