[logic-ml] Nagoya Set Theory seminar

[吉信 康夫]

名古屋集合論セミナーのご案内：(重複して受け取られた方はご容赦ください)

日時：2016年9月16日(金) 午後3時30分より
場所：名古屋大学大学院情報科学研究科2階206号室

講演者：薄葉季路(早稲田大学)
題目：Ground Axiomの変種について
概要：Ground Axiomは「universeがforcing extensionになっていない」
ことを主張する公理であるが、forcingをc.c.c., properなどに限定した
Ground Axiomの編集について考察し、
例えば「c.c.c. forcing extensionではないがproper forcing extensionになる」
などのconsistencyを示す。


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

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