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

[Takayuki Kihara]

皆様

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

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

名古屋ロジックセミナー
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 at i.nagoya-u.ac.jp