Similar to 緩成長階層
証明論
Proof theory
カリー＝ハワード同型対応
Curry–Howard correspondence
逆数学
Reverse mathematics
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent
自然演繹
Natural deduction
実現可能性 (論理学)
Realizability
証明可能性論理
Provability logic
初等関数算術
Elementary function arithmetic
チャーチ・クリーネ順序数
Nonrecursive ordinal
独立性 (数理論理学)
Independence (mathematical logic)
二重否定翻訳
Double-negation translation
保存拡大
Conservative extension
計算可能性理論
Computability theory
ELEMENTARY
Elementary recursive function
帰納的集合
Computable set
極限計算可能関数
Computation in the limitクリーネの再帰定理
Kleene's recursion theorem
計算可能解析学
Computable analysis計算可能数
Computable number
ケーニヒの補題
Kőnig's lemma
コンプリート・ナンバリング
Complete numbering
帰納的分離不能対
Computably inseparable
実効ポーランド空間
Effective Polish space
創造的集合と生産的集合
Creative and productive sets
単純集合
Simple set
停止性問題
Halting problemナンバリング (計算可能性理論)
Numbering (computability theory)