Partial decidable presentations in hyperarithmetic (Q2332068)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial decidable presentations in hyperarithmetic |
scientific article |
Statements
Partial decidable presentations in hyperarithmetic (English)
0 references
1 November 2019
0 references
numbering
0 references
decidable numbering
0 references
positive numbering
0 references
computable numbering
0 references
computable set
0 references
computably enumerable set
0 references
\(e\)-reducibility
0 references
hyperarithmetic set
0 references
constructible admissible set
0 references
0 references
