The extent of constructive game labellings
| Authors |
|
| Publication date |
2007
|
| Journal |
Journal of Logic and Computation
|
| Volume | Issue number |
17 | 2
|
| Pages (from-to) |
285-298
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We define a notion of combinatorial labellings, and show that Formula is the largest boldface pointclass in which every set admits a combinatorial labelling.
|
| Document type |
Article
|
| Language |
English
|
| Published at |
https://doi.org/10.1093/logcom/exl039
|
|
Permalink to this page
|
Back