Turing-invariance of strong relativization for \(\Delta^0_2\)

Determine whether Turing equivalence preserves the property of strongly relativizing \(\Delta^0_2\) at every recursively presented Polish space.

Background

The paper proves that, except for Δ10\Delta^0_1 and Δ20\Delta^0_2, strong relativization of the relevant self-dual Kleene pointclasses is preserved under Turing equivalence. It also proves that preservation fails for Δ10\Delta^0_1. The remaining borderline case Δ20\Delta^0_2 is explicitly left unresolved.

References

This leaves the following question. Does Turing equivalence preserve the property of strongly relativizing $\Delta0_2$ (at any space)?

Strongly relativizing reals  (2608.14488 - Arant, 14 Aug 2026) in Section 4, immediately following Proposition \ref{turingclassespart2}