A conjecture of Ershov for a relative hierarchy fails near \({\mathcal O}\) (Q796522): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q123195900, #quickstatements; #temporary_batch_1707252663060 |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:15, 5 March 2024
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
