Similar to グジェゴルチク階層
極限計算可能関数
Computation in the limit
計算可能解析学
Computable analysis計算可能数
Computable number
ケーニヒの補題
Kőnig's lemma
コンプリート・ナンバリング
Complete numbering
帰納的分離不能対
Computably inseparable
実効ポーランド空間
Effective Polish space
創造的集合と生産的集合
Creative and productive sets
単純集合
Simple set
低基底定理
Low basis theorem
停止性問題
Halting problem
ナンバリング (計算可能性理論)
Numbering (computability theory)二重再帰法
Double recursion
ハーディ階層
Hardy hierarchy
ビジービーバー
Busy beaver
フリードバーグ・ナンバリング
Friedberg numbering
ライス＝シャピロの定理
Rice–Shapiro theorem
算術的階層
Arithmetical hierarchy
射影集合
Projective hierarchyボレル階層
Borel hierarchy
数学のエポニムの一覧
アーベルの定理
アインシュタインの定数
Einstein's constant
アルティン予想
アンダーソン–ダーリング検定
Anderson–Darling test
アンの定理
Anne's theoremイーガン予想
Egan conjecture
飯高次元
Iitaka dimension