2013年2月28日

Inner model theory seminar.

酔っ払って今期のセミナーについてだらだら書いてたら，tenapi さんが相手をしてくれたの，だらだら書いたことと tenapi さんとのやりとりをまとめました。

雑談内部モデル理論集合論

前へ 1 2 3

@DaiskeIkegami @tri_iro Recursion Theory は P(ω) という宇宙を考え、Set Theory はその延長としての V を考えているということだと思っています。その意味では集合論はいわば∞階算術で、もとより無縁ではない。

2013-02-28 15:47:07

@DaiskeIkegami @tri_iro その線で多くが解明されたし、これからの発展にも注目しています。そろそろ会議の時間なので、いったん離脱します。どうもありがとうございました。

2013-02-28 15:50:50

Ikegami Daisuke @DaiskeIkegami

@tenapi @tri_iro いえいえ，こちらこそ参考になりました。

2013-02-28 15:51:27

前へ 1 2 3