数学の分野の一つである数理論理学周辺の話題に関するAdvent Calendarです. 数理論理学の話, 証明論, モデル理論, 集合論, 計算理論などの数理論理学周辺の話題であれば何でも大丈夫です!普段から数理論理学の研究やそれを道具に研究をする人, また数理論理学を学び始めたばかりの人, なんでも歓迎しています!
SUN | MON | TUE | WED | THU | FRI | SAT |
---|---|---|---|---|---|---|
1 Alwe_Logic | 2 でぃぐ | 3 | 4 | |||
5 | 6 | 7 | 8 hexirp_prixeh | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 hexirp_prixeh | 21 えぬぬん | 22 | 23 | 24 | 25 でぃぐ |
- 12/1Barwiseの完全性定理
- 12/2ランダムグラフの存在証明3通り
- 12/8到達不能基数を数え上げる多変数関数による単純な順序数崩壊関数ユーザーブログ:Hexirp/(2021-11-28) 到達不能基数を数え上げる多変数関数による単純な順序数崩壊関数 | 巨大数研究 Wiki | Fandom
- 12/20順序数崩壊関数 11 種(弱 (1,0,0,...)-マーロ基数まで)ユーザーブログ:Hexirp/(2021-12-20) 順序数崩壊関数 | 巨大数研究 Wiki | Fandom
- 12/21お前もLogicianにならないか?
- 12/25Hausdorff測度に関する基数不変量 (arxivへのリンクを貼るだけ)