数理論理学や数学基礎論、及びその部分分野や応用などに関するアドベントカレンダーです。数理論理学の記事であれば、どのようなものでも受け付けています！
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  hoge | 2  mineel | |||||
3  でぃぐ | 4 | 5 | 6 | 7 | 8 | 9 |
10  盲点(The Blind Spot) | 11  Alwe_Logic | 12 でぃぐ | 13 でぃぐ | 14 | 15  duyaa | 16  そくらてす |
17 | 18  Kory | Ryosuke Kondo | 19 | 20 でぃぐ | 21  こっとん | 22  かわい しん | 23  いことんど |
24  IE50_test | 25 Alwe_Logic |
- 12/1二階算術の部分体系の中で数理論理学をやる話とその応用について書きます．分かる人向けにいえば，ω-model reflectionへの導入を書きます．
- 12/2プログラム意味論(Winskel 9章)プログラム意味論(Winskel 9章)
- 12/3えいちしーた⭐
- 12/10やさしい線形論理入門
- 12/11登録した記憶ないのにいつの間にか入っててビビる
- 12/12Shelahの融合法
- 12/13安定的でないモデルの超冪のギャップの長さについて
- 12/15Robustly Isomorphic ModelsRobustly Isomorphic Models | Mathlog
- 12/16ヒルベルト・プログラムというか有限算術の紹介ヒルベルトの有限算術のはなし ～1+1=2 笑えない数学 落ち穂拾い～ - Sokratesさんの備忘録ないし雑記帳
- 12/18α: ℕ^n → ℕ がSTLC で定義できる ⇔ α は大体多項式 (Schwichtenberg の定理)
- 12/20Lにおける補解析的MAD族
- 12/21様相論理の近傍意味論の「近傍系」はS4フレームなら位相空間論の意味での「近傍系」になる話様相論理の近傍意味論の「近傍系」はS4フレームなら位相空間論の意味での「近傍系」になる話！ (Mathematical Logic Advent Calendar 2023) - こっとんの綿菓子工場
- 12/22これから考えます
- 12/23一階述語論理の完全性定理の証明。初めてなので優しくして下さい……。Advent Calender 2023 Completeness theorem.pdf - Google ドライブ
- 12/24弱ケーニヒの補題(WKL)について書きます
- 12/25某の講義資料を流用します()ordinal_analysis.pdf - Google ドライブ
