Determinacy of Refinements to the Difference Hierarchy of Co-Analytic Sets

Annals of Pure and Applied Logic - Netherlands

doi 10.1016/j.apal.2017.10.001