Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups (Q1075317)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups |
scientific article |
Statements
Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups (English)
0 references
1984
0 references
complete decidable theories of Abelian groups
0 references
