Similar to 急成長階層
0
0▼-1 trends1
1▲2 trends2
23
34
4▲1 trends5
56
6▲1 trends7
78
8▲1 trends9
91048576
12345679
1000000000
1,000,000,000証明論
Proof theoryカット除去定理
Cut-elimination theoremカリー=ハワード同型対応
Curry–Howard correspondence逆数学
Reverse mathematicsゲーデルの加速定理
Gödel's speed-up theoremシークエント
Sequent自然演繹
Natural deduction実現可能性 (論理学)
Realizability証明可能性論理
Provability logic初等関数算術
Elementary function arithmeticチャーチ・クリーネ順序数
Nonrecursive ordinal二重否定翻訳
Double-negation translation保存拡大
Conservative extension計算可能性理論
Computability theoryELEMENTARY
ELEMENTARY