数学基礎論・数理論理学のスレッド その7
レス数が900を超えています。1000を超えると表示できなくなるよ。
0935１３２人目の素数さん
2011/06/26(日) 23:50:43.01高階算術を高階逆数学と直せば良いと思います。
逆数学━┳━高階逆数学━━高階算術
□□□□□□┃
□□□□□□┣━無限ゲーム決定理論
□□□□□□┃
□□□□□□┣━構成的逆数学
□□□□□□┃
□□□□□□┗━計算論的逆数学公理的集合論━━━連続体仮説
レス数が900を超えています。1000を超えると表示できなくなるよ。