[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

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