scientific article
From MaRDI portal
Publication:3882632
zbMath0441.20023MaRDI QIDQ3882632
Daniel E. Cohen, Stål Aanderaa
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Turing machinesword problemdegree of unsolvabilitymodular machinesHigman's embedding theoremfinitely generated recursively presented groutruth- table degree
Applications of logic to group theory (20A15) Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40)
Related Items (5)
Unsolvable algorithmic problems for semigroups, groups and rings ⋮ Torsion, torsion length and finitely presented groups ⋮ Seperating the intrinsic complexity and the derivational complexity of the word problem for finitely presented groups ⋮ Endomorphic presentations of branch groups. ⋮ Model-theoretic and algorithmic questions in group theory
This page was built for publication:
