皆様 渕野 昌＠神戸大学システム情報学研究科です．

2011年10月18日（火）の 15：30 から以下ように Barcelona 大学の Joan Bagaria 教授による Omega-logic, the Omega-conjecture, and the Continuum Hypothesis に関する 神戸情報数理コロキウムの講演を予定しております．講演者の Joan Bagaria 氏には， 集合論の専門の方だけでなくロジック全般の general audience 向けの 講演になるよう，お願いしてあります．興味のある方は御参加ください．

o なお，同日の 14:00 からは Sam Sanders 氏（東北大学） の同コロキウムでの講演も 予定されています．

o また，この講演会の前日の 10月17日 (月) の午後には，Slawomir Solecki, S.M. Srivastava, Tamas Matrai 三氏の講演が同じ場所で予定されています (Fri, 7 Oct 2011 10:11:28 +0900 の logic mailing list の Joerg Brendle 氏による案内を参照) .

---------------------------------------------------------------------------------- 神戸情報数理コロキウム

日時：2011年10月18日（火）15:30 〜 17:00 場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室） 講演者： Joan Bagaria (バルセロナ大学) 題目： Omega-logic, the Omega-conjecture, and the Continuum Hypothesis

アブストラクト： Abstract: In 1990, W. Hugh Woodin introduced Omega-logic as an approach to truth in the universe of all sets inspired by recent work on large cardinals and determinacy. In Omega-logic statements are valid if, roughly, they hold in every forcing extension of the universe, or its sufficiently rich initial segments. Thus, Omega-logic is the logic of generic absoluteness. In these talks we will describe the basic features of Omega-logic, leading to the formulation of the Omega-conjecture and a discussion of its relevance in current set- theoretic research. In particular I shall focus on Woodin's arguments against the vagueness of the Continuum Hypothesis.