Relative enumerability in Ershov's hierarchy (Q2518068): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q5619076 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5619077 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Relative enumerability in the difference hierarchy / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4348123 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Ershov hierarchy / rank | |||
Normal rank | |||
Revision as of 23:43, 28 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relative enumerability in Ershov's hierarchy |
scientific article |
Statements
Relative enumerability in Ershov's hierarchy (English)
0 references
12 January 2009
0 references
Connections between the \(n\)-CEA hierarchy and the \(n\)-c.e. hierarchy have been explored. This paper takes one such connection that appeared in [\textit{M. M. Arslanov, G. L. LaForte} and \textit{T. A. Slaman}, J. Symb. Log. 63, No. 2, 411--420 (1998; Zbl 0911.03021)] and generalizes it from the \(n\)-c.e. hierarchy to Ershov's hierarchy. The author also shows that the result cannot be extended in various directions.
0 references
relative enumerability
0 references
\(n\)-computable enumerability
0 references
Ershov's hierarchy
0 references
constructive ordinal
0 references
Turing degree
0 references
computable function
0 references
limit ordinal
0 references
