[logic-ml] Nagoya set theory seminar

[吉信 康夫]

(重複して受け取られた場合はご容赦ください)

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

日時：2012年1月11日(水) 午後2時15分～4時(途中15分休憩)
場所：名古屋大学大学院情報科学研究科棟 322号室
(名古屋市地下鉄名城線名古屋大学駅1番出口より徒歩数分、下記のキャンパスマップのA4にある建物です。)
http://www.nagoya-u.ac.jp/global-info/access-map/higashiyama/

講演者：Franklin D. Tall (トロント大学)
題目：A useful model of set theory
アブストラクト:
I will sketch a method for getting mutually consistent consequences of PFA and V = L.
The talks are unavoidably technical, and assume acquaintance with the method of proper forcing
with elementary submodels as side conditions. The hope is that although listeners are unlikely to
be able to follow all the details presented, they will get enough of the ideas so that they can more
easily study the research papers if they are interested.

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

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