数理論理学や数学基礎論、及びその部分分野や応用などに関するアドベントカレンダーです。数理論理学の記事であれば、どのようなものでも受け付けています！
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  1997_takahashi | 2  Alwe_Logic | 3  IE50_test | 4  Hanul Jeon | 5 Alwe_Logic | 6  yotsunva | 7  飛車丸 |
8  そーにゃ・ひなこふしか | 9  Hiromi Ishii | 10  てけてけ坊主 | 11  quawai | 12  くま | 13  アノニマス太郎 | 14 Alwe_Logic |
15  hexirp_prixeh | 16  盲点(The Blind Spot) | 17  天下のパクり屋たか | 18 アノニマス太郎 | 19  箱星 | 20  Μίττον@圏論ソルジャー(गजस्पृशन्ध) | 21  こっとん |
22 IE50_test | 23  TT | 24  森野安藤 | 25 森野安藤 |
- 12/1SとLとについて書く予定です
- 12/2Barwise–Schlipfの定理
- 12/3SRT^2_2とかの話をしますSRT^2_2とその周辺 - お勉強の記録
- 12/4Fixed point recursive ordinal functionsFixed_point_recursive_set_functions.pdf - Google ドライブ
- 12/5初等部分構造の手法の入門っぽい話
- 12/6構成的集合論入門CST_intro.pdf - Google ドライブ
- 12/7PAとZFは「似ている」？PAとZFは「似ている」？ - 算術について
- 12/8初等部分構造による位相空間論Dropbox - Hinakovska_General_Topology_via_Elementary_Submodels.pdf - Simplify your life
- 12/9数理論理学の基礎からはじめる強制法入門数理論理学の基礎からはじめる強制法入門──2024年自主ゼミ発表資料 - konn-san.com
- 12/10Heyting算術からΣ_1二重否定除去を導けないことのいくつかの証明 (公開遅れる予定です)
- 12/11含意の問題 (入院につき公開遅れます)
- 12/12いろんな構成主義と構成主義の歴史（遅れます！すみません🙇♂️）
- 12/13カット除去定理動物園
- 12/14順序数解析の現在
- 12/15ブラウワー順序数と順序数崩壊関数
- 12/16ジラール入門ジラール入門 逆転の論理学者（Mathematical Logic Advent Calendar 2024） - 曇りなき眼で見定めブログ
- 12/17Cichon's maximum の左側の分離
- 12/18"which structural rules admit cut elimination?"を読む
- 12/19de Bruijn-Erdős の定理（グラフ理論）de Bruijn-Erdős の定理（グラフ理論） · 組合せ論、楽しい！
- 算術か何か書きます再帰的函数勉強ノート.pdf - Google ドライブ
- 12/21Brandom's Incompatibility Semantics (仮)
- 12/22KLとTJの計算論的な分離についてadvent_calender_2024_No2.pdf - Google ドライブ
- 12/23中間論理がたくさん(連続濃度個)あることDropbox - 中間論理がたくさんあること(advent calender 2024).pdf - Simplify your life
- 12/24計算可能解析学における何らかの基本的結果を紹介するにやぶさかではございません。
- 12/25弱い算術周辺の基礎知識を開発じゃい、開発じゃい。
