A Note on Recursively Presented and Co-Recursively Presented Groups

DOI10.1112/blms/14.2.112zbMath0483.20020OpenAlexW1989168725MaRDI QIDQ3941601

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)

Related Items (2)

Infinite presentability of groups and condensation ⋮ On the isolated points in the space of groups.

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