|
詳細 今回も他分野への応用を見据えたモデル理論の話です。 開始予定時刻は10:00で、会場は東工大大岡山キャンパスです。 今回は「type」というテーマで話します。 モデル理論の最も古典的な応用例は前回扱ったQEやモデル完全性から導かれるものがほとんどですが、 typeと呼ばれるモデル理論的対象を用いた議論をすることで、さらに一歩進んだモデル理論の応用ができるようになります。 次のような講演がある予定です： 0. 前回の復習( 1. type入門(y.) 2. stability入門(ジェダイ) 3. 微分ガロア理論への応用(GAP） 前回参加できなかった人も前回の復習のところで若干フォローできるかもしれません。 予備知識に不安のある人は直接GAPに問い合わせてください。基本的にはどなたでもウェルカムです。 参加を希望してくださる方はTwiplaにて登録をお願いします。 セキュリティ上の問題があるので、一応知り合い限定としています（直接面識のない方は念のため要相談）。 また、すべての連絡はtwitterを介して行います。 問い合わせは運営のEureka GAP(@j_tGAP)まで。 場所 東京工業大学大岡山キャンパス 道順を調べる 参加者 (10人) 興味あり (0人) 不参加 (2人)
コメント
|
|
Eureka GAP
