集合論のモデルの構成法と sheaf について。

Ikegami Daisuke @DaiskeIkegami

@srb_2 というわけで，僕が知る限りでは，Sheves in geometry and logic を読んでみるのが妥当な勉強の仕方だと思います。

Ikegami Daisuke @DaiskeIkegami

@srb_2 現代の集合論が，強制法と内部モデル理論にかなり偏っているのも，新しいモデルの構成法がなかなか出てこない部分もあって，何か新しい方法が見つかったら，集合論の方向性もちょっと変わってくるかもしれないな，と思ったりします。

Ikegami Daisuke @DaiskeIkegami

@srb_2 Shelah なんかは，強制法や内部モデル理論で証明できないような L での独立命題見つけようぜ，とか言ってたこともあって，結構新しいモデルの構成法に positive だと思うんですけどね。

†小野寺小咲† @srb_2

@DaiskeIkegami 集合論のモデルの構成の可能性、限界を探るという点で、確かに大きな勉強のモチベーションになってます。今のところ、Sheaves in 〜 を読んで感覚をつかんで見たいと考えています。

Ikegami Daisuke @DaiskeIkegami

@srb_2 ぜひ頑張ってください！こういう話は院生の間に勉強しておくと研究の幅も広がるし，コミュニケーション取れる研究者コミュニティも増えると思うので。

†小野寺小咲† @srb_2

@DaiskeIkegami はい、ありがとうございます！！

Ikegami Daisuke @DaiskeIkegami

@srb_2 では，そろそろ落ちます。おやすみなさい。

†小野寺小咲† @srb_2

@DaiskeIkegami おやすみなさいませ。