Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. (English) Zbl 0346.02026

Math. Dev. Hilbert Probl., Proc. Symp. Pure Math. 28, De Kalb 1974, 323-378 (1976).


03D80 Applications of computability and recursion theory
03D25 Recursively (computably) enumerable sets and degrees
11D99 Diophantine equations
11U05 Decidability (number-theoretic aspects)
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations