implications of negative solution to Hilbert's tenth problem
recursive unsolvability of Hilbert's Tenth Problem
scientific article; zbMATH DE number 42574