A first-order theory of Ulm type (Q5211069)
From MaRDI portal
scientific article; zbMATH DE number 7153159
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A first-order theory of Ulm type |
scientific article; zbMATH DE number 7153159 |
Statements
A first-order theory of Ulm type (English)
0 references
17 January 2020
0 references
\(p\)-groups
0 references
Borel reducibility
0 references
computable structure theory
0 references
Abelian group
0 references
bi-interpretability
0 references
