はてなブックマーク

このページでは静岡大学で2007年9月4日～9月7日に開催された2007年度数学基礎論サマースクールで私 （渕野 昌） が担当した講義「強制法入門」に関連した教材やハンドアウトなどをリンクしています． 講義の予稿は [0] 渕野 昌， 数学基礎論サマースクール2007年における講義の予稿（予稿集に掲載されたバージョン） にリンクしてあります．これを拡張したものが [a] 渕野 昌， 数学基礎論サマースクール2007年における講義録（[0] の最新バージョン） サマースクールでは上記の [0] のコピーが配付されましたが， [0] 後半は，まだ証明が入っておらず，タイプミスも多少残っています． [a] は講義期間の後にも，まだ何回か update する予定です． [a] の更新記録 in reverse order Forcing Theorem (Theorem 9) の証明を加え，いくつ