[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics Oct.18

[Makoto Kikuchi]

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

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.

- -- 
best regards                                    Saka\'e Fuchino (渕野 昌)
- -------------------------------------------------------------------------
Kobe University 
Graduate School of System Informatics 
Rokko-dai 1-1, Nada, Kobe 657-8501

                  e-mail: fuchino at diamond.kobe-u.ac.jp 
                  web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/
- -------------------------------------------------------------------------