The Extent of Constructive Game Labellings
Benedikt Loewe, Brian Semmes

Abstract:
We define a notion of combinatorial labelling, and show that Delta-0-2 is the largest boldface pointclass in which every set admits a combinatorial labelling.

Keywords: Gale-Stewart;  Hausdorff hierarchy;  games;  labellings