Similar to 低基底定理
帰納的集合
Computable set急成長階層
Fast-growing hierarchy極限計算可能関数
Computation in the limitグジェゴルチク階層
Grzegorczyk hierarchyクリーネの再帰定理
Kleene's recursion theorem計算可能解析学
Computable analysisケーニヒの補題
Kőnig's lemmaコンプリート・ナンバリング
Complete numbering帰納的分離不能対
Computably inseparable実効ポーランド空間
Effective Polish space創造的集合と生産的集合
Creative and productive sets単純集合
Simple set停止性問題
Halting problemナンバリング (計算可能性理論)
Numbering (computability theory)ハーディ階層
Hardy hierarchyビジービーバー
Busy beaverフリードバーグ・ナンバリング
Friedberg numberingポストの定理
Post's theoremライス=シャピロの定理
Rice–Shapiro theorem▼-1 trendsTemplate:Mathlogic-stub
Template:Mathlogic-stub裏 (論理学)
Inverse (logic)型理論
Type theoryカット除去定理
Cut-elimination theorem逆
Converse (logic)逆含意
Converse implication議論領域
Domain of discourseクレイグの補間定理
Craig interpolation形式論理学
Formal logic