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 |
|
| 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
(Final published version)
|
| Permalink to this page | |