皆様
神戸大学の池上と申します。
来週の火曜日13:30から行われる神戸集合論セミナーのお知らせです。 講演者は、カーネギーメロン大学でポスドクをしている Nam Trang さんです。 どうぞお気軽にお越しください。
問合せ先： 池上 大祐 神戸大学大学院システム情報学研究科 E-mail: [email protected]
=========================================================================
日時：2015年5月19日（火）13:30-15:00 講演者：Nam Trang （Carnegie Mellon University） 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車、 「神大本部工学部前」停留所下車、徒歩すぐ。 http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html （「ローカルマップ」の59番の建物）
題目： Descriptive inner model theory and forcing axioms.
アブストラクト： We discuss some recent developments in descriptive inner model theory, focusing on works on constructing canonical inner models of large cardinals and determinacy from combinatorial consequences of forcing axioms such as PFA. The upshot is the speaker’s result, built on earlier works of Steel and Sargsyan, that PFA implies the existence of models of “AD_R + Θ is regular”. The talk is mostly a survey talk and we aim to explain definitions and notions involved, hence should be accessible to general set theorists.
=========================================================================