Similar to Smn定理
極限計算可能関数
Computation in the limit
グジェゴルチク階層
Grzegorczyk hierarchy
計算可能解析学
Computable analysis計算可能数
Computable number
ケーニヒの補題
Kőnig's lemma
コンプリート・ナンバリング
Complete numbering
帰納的分離不能対
Computably inseparable
実効ポーランド空間
Effective Polish space
創造的集合と生産的集合
Creative and productive sets
低基底定理
Low basis theorem
停止性問題
Halting problem
ナンバリング (計算可能性理論)
Numbering (computability theory)二重再帰法
Double recursionハーディ階層
Hardy hierarchy
ビジービーバー
Busy beaver
フリードバーグ・ナンバリング
Friedberg numbering
ポストの定理
Post's theorem
ライス＝シャピロの定理
Rice–Shapiro theorem
数理論理学
Mathematical logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
エルブランの定理
Herbrand's theorem
型理論
Type theory
カット除去定理
Cut-elimination theorem
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra