>>665
ありがとうございます
追加の情報貼っておきます

酒井拓史氏 学部と修士が東大で、DRは名古屋大で 博士 (学術)(2005年12月 名古屋大学)か
公理的集合論入門は、やはり東大2年後期と思うが、未確認です

(参考)
catalog.he.u-tokyo.ac.jp/detail?code=0505101&year=2024
東京大学授業カタログ 2024年度版
応用数学XE
時間割／共通科目コード
0505101
FSC-MA4751L1

公理的集合論入門 / Introduction to Set Theory
集合論は数学に現れる無限集合について調べる分野です．特に，公理系に基づいて展開される集合論は公理的集合論と呼ばれます．関数・関係・数学的構造をはじめとする数学の書概念は集合を用いて表され，集合論の標準的な公理系 ZFC （Zermelo-Fraenkel の公理系 ZF +選択公理 AC）は数学全体を展開できる包括的な公理系になっています．この講義では，ZFC のもとで展開される集合論の基礎を解説し，さらに連続体仮説の ZFC との無矛盾性や，選択公理の ZF との無矛盾性についても解説します．

酒井　拓史
授業計画
次の項目を順に解説する予定です．
1. ZF の紹介
2. 無限集合の濃度と連続体仮説
3. 順序数と超限帰納法
4. 選択公理とその帰結
5. 連続体仮説と選択公理の無矛盾性

参考書
[1] 田中一之 編「ゲーデルと20世紀の論理学 第４巻 集合論とプラトニズム」東京大学出版会，2007年．
[2] ケネス・キューネン著，藤田博司訳「集合論 -独立性証明への案内-」日本評論社，2008年．
[3] Kenneth Kunen, “Set Theory”, College Publications, 2011.

つづく