A Note on Recursively Presented and Co-Recursively Presented Groups (Q3941601)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Note on Recursively Presented and Co-Recursively Presented Groups |
scientific article |
Statements
A Note on Recursively Presented and Co-Recursively Presented Groups (English)
0 references
1982
0 references
finitely generated recursively presented groups
0 references
finitely generated groups
0 references
solvable word problem
0 references
first order language of group theory
0 references
P- free group
0 references
co-recursively presented groups
0 references
P-terminal group
0 references
Higman's embedding theorem
0 references
