[logic-ml] 早稲田集合論セミナー（１０月６日）のご案内

[Toshimichi Usuba]

皆様、

早稲田大の薄葉です。
以下の通りセミナーを開催いたします。

日時：１０月６日（木）１６：００～
形態：ハイブリッド形式（対面とZoom meetingの配信)
場所：早稲田大学西早稲田キャンパス 59号館4階420室
講演者：Ralf Schindler (Münster)
題目：Martin's Maximum is \Pi_2 complete.
概要：We present a direct proof (avoiding P_max machinery) of the fact that 
if \varphi is \Pi_2 over H_{\omega_2} and \varphi is \Omega-consistent, 
then \varphi may be forced by a stationary set preserving forcing. This 
establishes a variant of the \Omega-conjecture. We also provide some 
background for this, discuss its significance, and mention further 
results. This is joint work with David Asperó.

オンライン参加を希望の方は下のフォームから１０月５日１７：００までに
参加登録をお願いいたします。
https://docs.google.com/forms/d/e/1FAIpQLSdTLZsiKU-Ax5f4lAU0_PX79HYqRXGgNs3NvoNInvddhq2gGA/viewform?usp=sf_link

対面参加の場合は登録は必要ありません。当日会場までお越しください。
西早稲田キャンパスへのアクセスは
https://www.waseda.jp/top/access/nishiwaseda-campus
をご覧ください。

なお、ゼミは黒板による板書を中心に行われる予定ですが、機材の関係で
Zoom配信の画質、音質はあまりよろしくないものになるかもしれません。
悪しからずご了承ください。

-- 
Toshimichi USUBA
School of Fundamental Science and Engineering,
Waseda University