数理論理学や数学基礎論、及びその部分分野や応用などに関するアドベントカレンダーです。数理論理学の記事であれば、どのようなものでも受け付けています！
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  Alwe_Logic | 2 Alwe_Logic | 3 Alwe_Logic | ||||
4  でぃぐ | 5  ジタさん | 6  IE50_test | 7 IE50_test | 8 でぃぐ | 9 ジタさん | 10 でぃぐ |
11  論計舎 | 12 でぃぐ | 13  ミカグラ☄️ | 14  1997_takahashi | 15  yotsunva | 16  duyaa | 17  hoge |
18  もぐらコッペパン | 19  Amuta | 20 Alwe_Logic | 21  non_archimedean | 22  盲点(The Blind Spot) | 23  N.Y | 24  ちび助(🐶‘ᾧ’🐶) |
25  かわい しん |
- 12/1大域選択公理についてglobal_choice.pdf - Google ドライブ
- 12/2Jensenのモデル存在定理completeness_theorem.pdf - Google ドライブ
- 12/3Π^1_2-論理の最近の発展
- 12/4ℵ₁ ≤ 𝔰とℵ₁ ≤ 𝔯の証明
- 12/5連続体仮説に関するエルデシュの古い定理について
- 12/6ACA_0で証明可能なΠ^1_2文についてACA0から証明可能なΠ^1_2文について - お勉強の記録
- 12/7独断と偏見による逆数学のススメ独断と偏見による逆数学のススメ - お勉強の記録
- 12/8Shoenfield絶対性の応用としての∑^1_1 Lebesgue可測性
- 12/9二重Ramsey定理は成立しない
- 12/10nullイデアル上の閉包作用素で値域がBorel集合族に含まれるものの存在の独立性
- 12/11論計舎の取り組みと論理学に関して知っている二、三の事柄論計舎の取り組みと論理学に関して知っている二、三の事柄 - 論計舎
- 12/12牛刀割鶏をしますKeisler-Shelahの定理の応用――あるいは、牛刀割鶏 | Mathlog
- 12/13数学的帰納法について少し
- 12/14この辺で敷居を下げます(!)
- 12/15ベルンシュタインの定理から排中律が従うことnotes/CSB-LEM-article.md at main · yotsunva/notes · GitHub
- 12/16Independent Sets and the Continuum HypothesisIndependent Sets and the Continuum Hypothesis | Mathlog
- 12/17Rca0上で動作するTuring functionalを作る．Turing_functional.pdf - Google ドライブ
- 12/18有限集合からなる族に対する選択公理について書きますadvent2022.pdf - Google ドライブ
- 12/19metatheoryに関する考察と空集合の定義についての２テーマを入門として書きました。
- 12/20統語的圏と相対解釈の話？
- 12/21基礎論の勉強の一環として作問しようというお話ユーザーブログ:P進大好きbot/数学基礎論アドベントカレンダー2022投稿用 | 巨大数研究 Wiki | Fandom
- 12/221989年のGoI 相互作用の幾何学の哲学と簡単な計算例数学基礎論アドベントカレンダー2022「1989年のGoI」 - 曇りなき眼で見定めブログ
- 12/23任意無限濃度に対してその濃度の単純群が存在するという話をかくかもしれないしそうではないかもしれない
- 12/24ニュージーランドで論理学
- 12/25部分構造論理入門？(遅刻します）
