ロジック・ウィンタースクール2023関連の資料 ロジック・ウィンタースクール2023のウェブサイト フジタの発表 予稿 予稿は不具合が見つかるたびに更新しています。リロードして最新版をご利用ください。 実効記述集合論 (PDF) スライド スライドはこれ以上更新しません!! 第1回のスライド (最終版) 第2回のスライド (最終版) 第3回のスライド (最終版) 第4回のスライド (最終版)
『キューネン数学基礎論講義』 ケネス・キューネン著, 藤田博司訳, 日本評論社, 2016年 正誤表 『集合論 - 独立性証明への案内』 ケネス・キューネン著, 藤田博司訳, 日本評論社, 2008年 正誤表 演習問題への解答 (を作りたい) 集中講義「集合論における独立命題」 (2023年6月5日〜9日, 九州大学) 前半部分のノート(縫田光司さんによる) 後半部分の講義資料(改訂版) 後藤達哉さんによる補足ノート 実効記述集合論 (Logic Winter School2023での講義) Logic Winter School2023 (木原さんによる公式ウェブサイト) 講義の予稿 第1回のスライド 第2回のスライド 第3回のスライド 第4回のスライド hyperdegreeのminimal coverについて (2022年10月20日「早稲田集合論セミナー」講演) 講演スライド 公開
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く