A conjecture of Ershov for a relative hierarchy fails near \({\mathcal O}\) (Q796522)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A conjecture of Ershov for a relative hierarchy fails near \({\mathcal O}\) |
scientific article |
Statements
A conjecture of Ershov for a relative hierarchy fails near \({\mathcal O}\) (English)
0 references
1983
0 references
Significant properties, of the transfinite difference hierarchy based on recursively enumerable sets, were developed in work of Yu. L. Ershov. Relativization of the hierarchy is a natural topic and, in addition to the obvious means of relativization, Ershov conjectured that two weak relativizations may be equivalent to full relativization. The paper being reviewed refutes one of these conjectures.
0 references
Kleene's 0
0 references
transfinite difference hierarchy
0 references
Relativization
0 references