数理論理学周辺の話題に関するAdvent Calendarです. 数理論理学の話, 証明論, モデル理論, 集合論, 計算理論などの数理論理学周辺の話題であれば何でも大丈夫です！普段から数理論理学の研究やそれを道具に研究をする人, また数理論理学を学び始めたばかりの人, なんでも歓迎しています！
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  Alwe_Logic | 2  頭川るい | 3  かわい しん | 4  ジタさん | 5  でぃぐ | 6  non_archimedean | 7  名前OS@エルフ数学徒 |
8 でぃぐ | 9  ウッ鵜 | 10  X | 11 ジタさん | 12  waidotto | 13  飛車丸 | 14  しらそら (Masaki Haga) |
15  kbis | 16  tomo | 17  hexirp_prixeh | 18  はかり | 19  Yasuda_Yasutomo | 20  ななかさんだよー。 | 21  そくらてす |
22  YukihiroOda | 23  IE50_test | 24 かわい しん | 25 Alwe_Logic |
- 12/1A logic without cut elimination is like a car without an engine.
- 12/2逆数学の未解決問題のいくつか逆数学の未解決問題のいくつか - 読む毒
- 12/3カリーハワード対応でお茶を濁す数理論理学AvdCal2019_3日目_|隠蔽されたライプニッツ原稿集
- 12/4ゲーデルのLとゼロ・シャープ
- 12/5DavisのゲームDavisのゲーム - 理科
- 12/6（計算可能とは限らない）関数全体をdominateする線形階層の存在の無矛盾性についてユーザーブログ:P進大好きbot/関数全体をdominateする線形階層の存在の無矛盾性 | 巨大数研究 Wiki | FANDOM powered by Wikia
- 12/7Coqで選択公理⇔Zornの補題Coqで選択公理⇔ツォルンの補題を証明してみた - Qiita
- 12/8集合論の言語の有限構造がZFCの各公理を満たすか判定するプログラム集合論の言語の有限構造がZFCの各公理を満たすか判定するプログラム - 理科
- 12/9projective ordinalの基本的なこと(12／19の予備知識)Mathematical Logic Advent Calendar 2019 12月9日の記事 - 国語
- 12/10たぶん間に合わないけど頑張って何か書きますMartin's Maximumの無矛盾性証明 | 数学の本質は自由にあり
- 12/11決定公理とℵ_1
- 12/12Cantor空間におけるBanach-Mazurゲーム
- 12/13タイプをはじめから学ぶタイプをはじめから学ぶ - hisyamaru’s diary
- 12/14様相論理の体系とLindenbaumの補題
- 12/15CTLとモデル検査についてScalaでモデル検査器を書いてみた - Qiita
- 12/16古典線形論理の直観主義線形論理に対する保守性についてGitHub - Tomoaki-Hashizaki/AdventCalendar2019
- 12/17Coq で ε_0 の整礎性を証明するgoogology/cantor_ordinal_in_coq.v at master · Hexirp/googology · GitHub
- 12/18Namba forcingのsemipropernessについて
- 12/19Square in L
- 12/20Yasudaなにしてんねん。Cartesian closed categoryについてちょっと書いてみたやつ。 - わーいわい。
- 12/21分離論理のおはなしSokratesさんの備忘録ないし雑記帳
- 12/22今それどころじゃないので後日あげますYukihiroMasuoka on Twitter: "今忙しすぎてアドヴェントカレンダーの記事を書けません……"
- 12/23二階算術の諸体系のモデル二階算術の諸体系のモデル - お勉強の記録
- 12/24真理定義、決定可能性、証明論的完全性数理論理学AdvCal2019、24日目_|隠蔽されたライプニッツ原稿集
- 12/25Ordinal Analysis of Weak Subsystem of First Order Arithmetic一階算術の部分体系の順序数解析 - Alwe’s blog
