The Extent of Constructive Game Labellings

摘要

We define a notion of combinatorial labellings, and show that Δ_2~0 is the largest boldface pointclass in which every set admits a combinatorial labelling.