[logic-ml] Nagoya Logic Seminar

皆様：

名古屋大学の吉信です。

以下の要領で名古屋ロジックセミナーを開催します。

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

講演者：薄葉 季路(早稲田大学) タイトル：Choiceless Loewenheim-Skolem property アブストラクト：ZFのもとで、Woodin は supercompact cardinal の limit になっている singular cardinalκについて、κ の successor cardinal がregularかつその上のclub filterがよいcompletenessを持つことなどを示したが、 Woodinの証明はforcingを絡めた複雑なものである。 本講演ではZFのもとでのLoewenheim-Skolem theoremを意味するcombinatorical principleを導入し、 supercompact cardinalのlimitとなるcardinalではそのprincipleが成り立つこと、 およびWoodinの定理の簡明な証明を与える。また、そのprincipleの応用についてなども触れる。

名古屋ロジックセミナーについてはセミナーのページをごらんください。

http://www.math.mi.i.nagoya-u.ac.jp/~kihara/logic-seminar.html

多数の方のご参加をお待ちしております。