2014年度 春学期 基盤数理特論Ａ（修士）
「公理論的集合論」
- 講義日時：
- 火曜３，４時限・13:00-16:15，矢上11棟1階，11-31号室
- 参考書：
- 評価基準：
- 講義内容
- 04/08：イントロダクション，連続体仮説
- 04/15：素朴集合論，選択公理
- 04/22：関係，整列集合
- 04/30：順序数，帰納と再帰
- 05/13：基数，濃度
- 05/20：一般連続体仮説
- 05/27：１階の述語論理，ゲーデルの完全性定理
- 06/03：ZFC，クラス
- 06/10：整礎的集合，基礎の公理
- 06/17：これまでのまとめ，ゲーデルの不完全性定理
- 06/24：構成可能集合L
- 07/01：V=L，一般連続体仮説の反証不可能性
- 07/08：Lowenheim-Skolem-Tarskiの定理，Mostowski収縮
- 07/15：強制法，まとめ
講義のページへ戻る．