Sciweavers

LOGCOM
2007
75views more  LOGCOM 2007»
13 years 11 months ago
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.
Benedikt Löwe, Brian Semmes