Separation between strong relativization at Baire space and at Cantor space
Determine whether there exist reals that strongly relativize \(\Delta^0_1\) at Baire space \(N\) but fail to strongly relativize \(\Delta^0_1\) at Cantor space \(2^N\).
References
Are there reals which strongly relativize $\Delta0_1$ at $N$ but do not strongly relativize $\Delta0_1$ at $N$?
— Strongly relativizing reals
(2608.14488 - Arant, 14 Aug 2026) in Section 3, immediately following Theorem \ref{thm:turingnopreserve}