[logic-ml] Nagoya logic seminar

[吉信 康夫]

皆様：

名古屋大学の吉信です。

先日ご案内いたしました名古屋ロジックセミナーについて、
概要をいただきましたのであらためてお知らせいたします。

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

講演者：渕野 昌(神戸大学)
タイトル：Reflection axioms which imply the continuum is very large
概要：Stationary logic の variations 対する，``妥当な'' Löwenheim-Skolem Theorem が成立するべきである，という前提のもとで，連続体の濃度は $\aleph_1$ あるいは $\aleph_2$ あるいは非常に大きなもの (weakly Mahlo, weakly hyper Mahlo 等) になるかのいずれかとなることを示す．
この三分律に対応する３つの generic supercompactness axioms についても論ずる．

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