[kisoron-ml] 名古屋ロジックセミナー (3/9) のお知らせ

皆様

名古屋大学の木原貴行です．

以下の要領で名古屋ロジックセミナーを開催します．多数のご参加をお待ちしております．

名古屋ロジックセミナー http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html

日時：3月9日 (金) 15:30〜 場所：名古屋大学大学院情報学研究科棟 314室

講演者：薄葉 季路 (早稲田大学)

題目： Extendible cardinals and the mantle

アブストラクト： Mantle は V のすべての ground model の共通部分として定義される inner model であるが、mantle 自身は ground model である必要はない。一方で、ある超巨大基数が存在するならば mantle 自身が ground model になることが知られている。本講演では、巨大基数の仮定を弱めて、 extendible cardinal の存在から mantle が ground model になることを証明する。

--------

Takayuki Kihara Graduate School of Informatics, Nagoya University, Japan URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j,html Email: kihara@i.nagoya-u.ac.jp