D. Cantone

• Set-theoretic reductions of Hilbert's tenth problem