Recommendations
based on Julia Robinson and Hilbert's Tenth Problem