The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable (Q6194082)
From MaRDI portal
scientific article; zbMATH DE number 7804914
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable |
scientific article; zbMATH DE number 7804914 |
Statements
The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable (English)
0 references
14 February 2024
0 references
positive formula
0 references
positive theory
0 references
group
0 references
algorithmic solvability
0 references
0 references
