皆様、
早稲田大の薄葉です。 以下の通りセミナーを開催いたします。
日時：１０月６日（木）１６：００～ 形態：ハイブリッド形式（対面と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_PX79HYqRXGgNs3N...
対面参加の場合は登録は必要ありません。当日会場までお越しください。 西早稲田キャンパスへのアクセスは https://www.waseda.jp/top/access/nishiwaseda-campus をご覧ください。
なお、ゼミは黒板による板書を中心に行われる予定ですが、機材の関係で Zoom配信の画質、音質はあまりよろしくないものになるかもしれません。 悪しからずご了承ください。