Kopczyński-type union closure remains open beyond ω-regular objectives
Ascertain whether the union of two prefix-independent positional objectives is positional in full generality, i.e., for arbitrary (not necessarily ω-regular) objectives over infinite games.
References
"KopczyÅski's conjecture" and its stronger version in which only one of the objectives is supposed to by "prefix-independent" remain open for arbitrary objectives.
                — Positional $ω$-regular languages
                
                (2401.15384 - Casares et al., 27 Jan 2024) in Section 3: Positionality of ω-regular objectives – after Lemma on Eve-games union