数学基礎論・数理論理学のスレッド その7
レス数が900を超えています。1000を超えると表示できなくなるよ。
0932 忍法帖【Lv=9,xxxP】
2011/06/26(日) 23:06:07.87□□□□□□┃
□□□□□□┣━様相論理・線形論理
□□□□□□┃
□□□□□□┣━代数的論理学
□□□□□□┃
□□□□□□┣━公理的集合論━┳━━連続体仮説
□□□□□□┃□□□□□□□□┣━━内部モデル・決定性公理
□□□□□□┃□□□□□□□□┣━━巨大基数
□□□□□□┃□□□□□□□□┣━━無限集合組合せ理論
□□□□□□┃□□□□□□□□┗━━推移的クラスの微細構造論
□□□□□□┃
□□□□□□┣━モデル理論━━┳━━幾何学的モデル論
□□□□□□┃□□□□□□□□┣━━超準的数学
□□□□□□┃□□□□□□□□┗━━モデル検査
□□□□□□┃
□□□□□□┣━再帰理論━━┳━━計算量理論━┳━記述計算量理論
□□□□□□┃□□□□□□□┃□□□□□□□□┗━次数理論
□□□□□□┃□□□□□□□┣━━型付ラムダ計算
□□□□□□┃□□□□□□□┗━━抽象機械
□□□□□□┃
□□□□□□┗━証明論 ━━┳━━定理自動証明
□□□□□□□□□□□□□□┗━━構成的数学━━構成的型理論
レス数が900を超えています。1000を超えると表示できなくなるよ。