Strong jump PA avoidance for the Δ2-Subset principle (D)
Determine whether the Δ2-Subset principle (D) admits strong jump PA avoidance; specifically, ascertain whether for every set X not of PA degree and every set A ⊆ ω (without definability restrictions), there exists an infinite subset Y contained in A or in its complement such that (X ⊕ Y)′ is not of PA degree.
References
They leave open whether a “strong” version of this property holds, i.e., whether the same is true of every A (not just those that are ∆0,X).
                — The Ginsburg--Sands theorem and computability theory
                
                (2402.05990 - Benham et al., 8 Feb 2024) in Section 8 (following Question 8.6)