A first-order theory of Ulm type (Q5211069)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A first-order theory of Ulm type |
scientific article; zbMATH DE number 7153159
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7860046029090881
0 references
0.7688976526260376
0 references
0.7606760859489441
0 references
0.75701904296875
0 references
0.7517381310462952
0 references
