A Note on Recursively Presented and Co-Recursively Presented Groups
From MaRDI portal
Publication:3941601
DOI10.1112/blms/14.2.112zbMath0483.20020MaRDI QIDQ3941601
Publication date: 1982
Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/blms/14.2.112
finitely generated groups; solvable word problem; finitely generated recursively presented groups; Higman's embedding theorem; co-recursively presented groups; first order language of group theory; P- free group; P-terminal group
20F05: Generators, relations, and presentations of groups
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
Related Items