Characterization and abundance of strongly relativizing reals for higher analytical pointclasses
Characterize, perhaps under Projective Determinacy, the reals that strongly relativize the higher analytical pointclasses \(\Delta^1_n\) for \(n\geq 1\), and determine whether uncountably many such reals exist.
References
For the higher analytical pointclasses, we ask the following question. Is there a nice characterization (perhaps under Projective Determinacy) of the reals which strongly relativize $\Delta1_{n}$ for $n\geq 1$? Are there uncountably many such reals?
— Strongly relativizing reals
(2608.14488 - Arant, 14 Aug 2026) in Section 2, immediately following Theorem 2 (Theorem \ref{thm:analytical})