数理論理学や数学基礎論、及びその部分分野や応用などに関するアドベントカレンダーです。数理論理学の記事であれば、どのようなものでも受け付けています！
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  1997_takahashi | 2  Alwe_Logic | 3  IE50_test | 4  Hanul Jeon | 5 Alwe_Logic | 6 | 7  飛車丸 |
8  そーにゃ・ひなこふしか | 9 | 10  てけてけ坊主 | 11  quawai | 12  くま | 13  アノニマス太郎 | 14 Alwe_Logic |
15  盲点(The Blind Spot) | 16  yotsunva | 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/7PAとZF-infについて
- 12/8初等部分構造による位相空間論
- 12/10Heyting算術からΣ_1二重否定除去を導けないことのいくつかの証明
- 12/11含意の問題
- 12/12構成主義のいろんな立場（かまたは全然別のもの）
- 12/13カット除去定理動物園
- 12/14順序数解析の現在
- 12/15ジラール論理学の展開
- 12/16構成的集合論入門
- 12/17基数不変量の話(Cichon's maximum とか)
- 12/18"which structural rules admit cut elimination?"を読む
- 12/19de Bruijn-Erdős の定理（グラフ理論）
- 算術か何か書きます
- 12/21Brandom's Incompatibility Semantics (仮)
- 12/22Σ^1_1-TIとΠ^1_1-TIを比較します あるいはD and M本にツッコミを入れます
- 12/23中間論理がたくさん(連続濃度個)あること
- 12/24計算可能解析学における何らかの基本的結果を紹介するにやぶさかではございません。
- 12/25弱い算術周辺の基礎知識を開発じゃい、開発じゃい。
