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.

Background

The paper completely characterizes the reals strongly relativizing Δ11\Delta^1_1 as the hyperlow reals. For higher analytical self-dual pointclasses Δn1\Delta^1_n, the paper establishes only conditional results under Projective Determinacy and notes that Δn1\Delta^1_n-singletons provide examples. It remains unresolved whether these examples can be substantially extended or whether there are uncountably many strongly relativizing reals.

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})