Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis (Q2844727)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis |
scientific article |
Statements
Describing free groups, Part II: Π⁰₄ hardness and no Σ₂⁰ basis (English)
0 references
19 August 2013
0 references
free groups
0 references
index set
0 references
computability-theoretic complexity
0 references
