A conjecture of Ershov for a relative hierarchy fails near \({\mathcal O}\) (Q796522): Difference between revisions

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.