[logic-ml] Nagoya Set Theory Seminar

[吉信 康夫]

名古屋集合論セミナーのご案内：

日時：2014年6月27日(金) 午後3時30分より
場所：名古屋大学情報文化学部 SIS2 教室(全学教育棟)

名古屋市地下鉄名城線名古屋大学駅1番出口より徒歩数分、下記のキャンパスマップのB4(1)の建物です。
http://www.nagoya-u.ac.jp/access-map/index.html

SIS2 教室は全学教育棟4階にあります。建物内の配置図は下記のページでみることができます。
http://www.ilas.nagoya-u.ac.jp/student/lectureroom/

講演者：薄葉季路(神戸大学)
題目：Reflection of List-chromatic number of graphs
概要：単純グラフのList-chromatic numberの反映原理は
巨大基数公理の元では無矛盾であることが知られている。
一方、今回の話ではグラフの濃度を限定したbounded versionの
反映原理はZFCとequuiconsistentであることの証明の概略を試みる。

多数のご参加をお待ちしております。

名古屋大学大学院情報科学研究科
吉信康夫