×

Some purely mathematical results inspired by mathematical logic. (English) Zbl 0377.02001

Logic, Found. Math., Comput. Theory; Proc. 5th int. Congr., London/Ontario 1975, Part 1, 121-127 (1977).

MSC:

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