On recursively unsolvable problems in topology and their classification. (English) Zbl 0246.57015
Contrib. Math. Logic, Proc. Logic Colloq., Hannover 1966, 37-74 (1968).
MSC:
| 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 |
