Similar to 計算可能数
計算可能解析学
Computable analysis
ケーニヒの補題
Kőnig's lemma
コンプリート・ナンバリング
Complete numbering
帰納的分離不能対
Computably inseparable
実効ポーランド空間
Effective Polish space
創造的集合と生産的集合
Creative and productive sets
単純集合
Simple set
低基底定理
Low basis theorem
ナンバリング (計算可能性理論)
Numbering (computability theory)二重再帰法
Double recursion
ハーディ階層
Hardy hierarchy
フリードバーグ・ナンバリング
Friedberg numbering
ポストの定理
Post's theorem
ライス＝シャピロの定理
Rice–Shapiro theorem