トップページ
⇒
math
1001コメント
392KB
数学基礎論・数理論理学のスレッド その7
全部
前100
次100
最新50
レス数が900を超えています。1000を超えると表示できなくなるよ。
0929
１３２人目の素数さん
2011/06/26(日) 21:52:51.77
モデル理論って幾何学的モデル論と超準的数学とモデル検査しかないの？
Shelahの書いた本はそのどこに入るんだろう？
新井先生とかRathjenの業績は
定理自動証明でも構成的数学でもないよね
とか突っ込みだすともうキリが無いよね
全部
前100
次100
最新50
レス数が900を超えています。1000を超えると表示できなくなるよ。