Dichotomy for coanalytic ideals: closed or Fσ?
Ascertain whether, for every coanalytic (Π1_1) ideal I on ω and every uncountable Polish space X, the family L_X(I) must be either the closed sets Π^0_1(X) or the Fσ sets Σ^0_2(X).
References
Question 10.9. Let X be an uncountable Polish space and let I be a IIQ ideal on w. Is it true that either L(I) = III or L(I) = 22?
— Borel complexity of sets of ideal limit points
(2411.10866 - Filipow et al., 16 Nov 2024) in Question 10.9 (Main open question), Section 10.3