[logic-ml] Kobe set theory seminar on Tue 19 May.

[Daisuke Ikegami]

皆様

神戸大学の池上と申します。

来週の火曜日13:30から行われる神戸集合論セミナーのお知らせです。
講演者は、カーネギーメロン大学でポスドクをしている Nam Trang さんです。
どうぞお気軽にお越しください。


問合せ先：
池上 大祐
神戸大学大学院システム情報学研究科
E-mail: ikegami at people.kobe-u.ac.jp


=========================================================================

日時：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.

=========================================================================