Classifications of definable subsets (Q2300934)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classifications of definable subsets |
scientific article |
Statements
Classifications of definable subsets (English)
0 references
28 February 2020
0 references
\(\Sigma_1^0\)-classification
0 references
\(d\)-\(\Sigma_1^0 \)-classification
0 references
\(\Sigma_2^0 \)-classification
0 references
unbounded computable equivalence structure
0 references
unbounded computable injection structure
0 references
0 references
