[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics Oct.18
Sakae Fuchino
fuchino at diamond.kobe-u.ac.jp
Tue Oct 11 12:01:59 JST 2011
皆様
渕野 昌@神戸大学システム情報学研究科です.
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/
-------------------------------------------------------------------------
More information about the Logic-ml
mailing list