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

日時：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を示す。

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

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