A Note on Recursively Presented and Co-Recursively Presented Groups

DOI10.1112/BLMS/14.2.112zbMATH Open0483.20020OpenAlexW1989168725MaRDI QIDQ3941601FDOQ3941601

Authors: Avinoam Mann 

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

zbMATH Keywords

finitely generated groupssolvable word problemfinitely generated recursively presented groupsHigman's embedding theoremco-recursively presented groupsfirst order language of group theoryP- free groupP-terminal group

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cited In (7)

• Obstruction to a Higman embedding theorem for residually finite groups with solvable word problem
• Finding non-trivial elements and splittings in groups.
• Infinite presentability of groups and condensation
• On the isolated points in the space of groups.
• SUBGROUPS OF FINITELY PRESENTED GROUPS WITH SOLVABLE CONJUGACY PROBLEM
• ON SOME EMBEDDING OF LIE ALGEBRAS
• Coherence, subgroup separability, and metacyclic structures for a class of cyclically presented groups

This page was built for publication: A Note on Recursively Presented and Co-Recursively Presented Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3941601)