The Extent of Constructive Game Labellings

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

• Type: Journal
• Year: 2007
• Where: LOGCOM
• Authors: Benedikt Löwe, Brian Semmes
• Keywords: Boldface, Combinatorial Labelling, Largest Boldface Pointclass, LOGCOM 2007