The theory of abelian p-groups with the quantifier I is decidable (Q4147967)
From MaRDI portal
scientific article; zbMATH DE number 3575558
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The theory of abelian p-groups with the quantifier I is decidable |
scientific article; zbMATH DE number 3575558 |
Statements
The theory of abelian p-groups with the quantifier I is decidable (English)
0 references
1980
0 references
theory of Abelian p-groups
0 references
Härtig quantifier
0 references
elementary Szmielew basic sentences
0 references
