Degrees of unsolvability of first order decision problems for finitely presented groups (Q4874376)
From MaRDI portal
scientific article; zbMATH DE number 868492
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Degrees of unsolvability of first order decision problems for finitely presented groups |
scientific article; zbMATH DE number 868492 |
Statements
Degrees of unsolvability of first order decision problems for finitely presented groups (English)
0 references
19 June 1996
0 references
arithmetical \(m\)-degree
0 references
first-order decision problem
0 references
free 2-step nilpotent group
0 references
