[logic-ml] 名古屋ロジックセミナーのお知らせ

みなさま：

名古屋大学の吉信と申します。

下記の要領でオンラインによるロジックセミナーを開催したいと思います。 参加を希望される方にはZoom のURLをお知らせします(同じものを使います)ので、 吉信までご連絡ください。

---案内ここから 日時：3月31日(金)15:30〜 講演者：林佑亮(神戸大学) 題目：特異基数$\mu$に一般化されたdominating numberについて アブストラクト：基数特徴量は集合論における古典的な研究対象であるが， それらの非可算基数への一般化には未だ研究の余地が残されている． 本発表ではとくにdominating numberの特異基数$\mu$への一般化に焦点を当て， その振る舞いについて観察する．

日時：4月7日(金)15:30〜 講演者：丹野俊将(神戸大学) 題目：定常塔強制と普遍ベール集合 アブストラクト：Woodinは定常塔強制と呼ばれる強制法を導入し、 巨大基数の存在がL(R)に属する実数の集合の正則性を導くことを示した。 この定理に関して、Woodin基数のような巨大基数を用いることなく、 定常塔についての仮定から同様の結果を導けることが知られている。 本発表では、より強い性質である普遍ベール性についても仮定を 定常塔強制の条件に統合できることを示す。 ---案内ここまで

吉信