Template:Pointclasses
From HandWiki
| Lightface | Boldface | ||
| Σ00 = Π00 = Δ00 (sometimes the same as Δ01) | Σ00 = Π00 = Δ00 (if defined) | ||
| Δ01 = recursive | Δ01 = clopen | ||
| Σ01 = recursively enumerable | Π01 = co-recursively enumerable | Σ01 = G = open | Π01 = F = closed |
| Δ02 | Δ02 | ||
| Σ02 | Π02 | Σ02 = Fσ | Π02 = Gδ |
| Δ03 | Δ03 | ||
| Σ03 | Π03 | Σ03 = Gδσ | Π03 = Fσδ |
| ⋮ | ⋮ | ||
| Σ0<ω = Π0<ω = Δ0<ω = Σ10 = Π10 = Δ10 = arithmetical | Σ0<ω = Π0<ω = Δ0<ω = Σ10 = Π10 = Δ10 = boldface arithmetical | ||
| ⋮ | ⋮ | ||
| Δ0α (α recursive) | Δ0α (α countable) | ||
| Σ0α | Π0α | Σ0α | Π0α |
| ⋮ | ⋮ | ||
| Σ0ωCK1 = Π0ωCK1 = Δ0ωCK1 = Δ11 = hyperarithmetical | Σ0ω1 = Π0ω1 = Δ0ω1 = Δ11 = B = Borel | ||
| Σ11 = lightface analytic | Π11 = lightface coanalytic | Σ11 = A = analytic | Π11 = CA = coanalytic |
| Δ12 | Δ12 | ||
| Σ12 | Π12 | Σ12 = PCA | Π12 = CPCA |
| Δ13 | Δ13 | ||
| Σ13 | Π13 | Σ13 = PCPCA | Π13 = CPCPCA |
| ⋮ | ⋮ | ||
| Σ1<ω = Π1<ω = Δ1<ω = Σ20 = Π20 = Δ20 = analytical | Σ1<ω = Π1<ω = Δ1<ω = Σ20 = Π20 = Δ20 = P = projective | ||
| ⋮ | ⋮ | ||
