No label defined (Q4319153)
From MaRDI portal
scientific article; zbMATH DE number 709753
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 709753 |
Statements
27 September 1995
0 references
free group
0 references
free generators
0 references
group signature
0 references
length function
0 references
elementary theory
0 references
undecidability
0 references
positive \(\exists^ \infty \forall \exists^ \infty\)-theory
0 references
