Connections between topological and group theoretical decision problems. (English) Zbl 0265.02033

Word Probl., Decision Probl. Burnside Probl. Group Theory, Studies Logic Foundations Math. 71, 427-441 (1973).


03B25 Decidability of theories and sets of sentences
20A10 Metamathematical considerations in group theory
57-00 General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to manifolds and cell complexes
57N10 Topology of general \(3\)-manifolds (MSC2010)
57Q99 PL-topology
03D40 Word problems, etc. in computability and recursion theory