On recursively unsolvable problems in topology and their classification. (English) Zbl 0246.57015

Contrib. Math. Logic, Proc. Logic Colloq., Hannover 1966, 37-74 (1968).


57-00 General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to manifolds and cell complexes
57R99 Differential topology
03D30 Other degrees and reducibilities in computability and recursion theory
03B25 Decidability of theories and sets of sentences