数理論理学や数学基礎論、及びその部分分野や応用などに関するアドベントカレンダーです。数理論理学の記事であれば、どのようなものでも受け付けています！
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  Alwe_Logic | 2 | 3 | 4 | 5 | 6 | |
7 | 8 | 9 | 10 | 11 | 12 | 13 |
14 | 15  天下のパクり屋たか | 16 | 17 | 18 | 19  Tatsuya Goto | 20  こっとん |
21  そーにゃ・ひなこふしか | 22  TT | 23  SnO₂WMaN | 24 | 25 |
- 12/1小ネタ
- 12/15Souslin tree についてなにか
- 12/19実数の集合論で可算順序数の概念を使ういくつかの面白い例の紹介
- 12/20未定 👀 (e.g. 述語変換子と余代数の話)
- 12/21Z. Baloghによる位相空間の構成法
- 12/22Kripke意味論の悪口を書きます。
- 12/23Subintuitionistic LogicとModal Companion