Template:Pointclasses

細字 太字
Σ0
0
= Π0
0
= Δ0
0
(しばしばΔ0
1
と同じ)
Σ0
0
= Π0
0
= Δ0
0
(定義されていれば)
Δ0
1
= 帰納的
Δ0
1
= 開かつ閉
Σ0
1
= 帰納的可算
Π0
1
= 補-帰納的可算
Σ0
1
= G =
Π0
1
= F =
Δ0
2
Δ0
2
Σ0
2
Π0
2
Σ0
2
= Fσ
Π0
2
= Gδ
Δ0
3
Δ0
3
Σ0
3
Π0
3
Σ0
3
= Gδσ
Π0
3
= Fσδ
Σ0
= Π0
= Δ0
= Σ1
0
= Π1
0
= Δ1
0
= 算術的
Σ0
= Π0
= Δ0
= Σ1
0
= Π1
0
= Δ1
0
= boldface arithmetical
Δ0
α
(αは再帰的)
Δ0
α
(αは可算)
Σ0
α
Π0
α
Σ0
α
Π0
α
Σ0
ωCK
1
= Π0
ωCK
1
= Δ0
ωCK
1
= Δ1
1
= 超算術的
Σ0
ω1
= Π0
ω1
= Δ0
ω1
= Δ1
1
= B = ボレル
Σ1
1
= lightface analytic
Π1
1
= lightface coanalytic
Σ1
1
= A = 解析集合
Π1
1
= CA = 補解析集合
Δ1
2
Δ1
2
Σ1
2
Π1
2
Σ1
2
= PCA
Π1
2
= CPCA
Δ1
3
Δ1
3
Σ1
3
Π1
3
Σ1
3
= PCPCA
Π1
3
= CPCPCA
Σ1
= Π1
= Δ1
= Σ2
0
= Π2
0
= Δ2
0
= 解析的階層に属する集合
Σ1
= Π1
= Δ1
= Σ2
0
= Π2
0
= Δ2
0
= P = 射影集合