集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積してあります。

更新履歴など

うたにっき - 2019/11/16 13:53:40 JST

ブログ未満の日常の破片(最終更新:20211227)

プロフィール - 2021/09/11 23:21:06 JST

わたしについて。

初等部分構造を用いたErdős-Radoの定理の証明 [PDF版] - 2020/12/27 00:50:12 JST

Erdős-Radoの定理はRamseyの定理に代表されるような,無限組合せ論における分割・彩色性質の一つです.ここではオリジナルの純粋に組合せ論的な証明ではなく,初等部分構造を用いたより簡単な方法を紹介します.

Hausdorff Gap の証明 [PDF版] - 2020/12/27 00:48:47 JST

集合論における Hausdorff Gap の証明.

古典的実現可能性モデルノート - 2020/10/21 21:28:54 JST

古典的実現可能性モデル(classical realisability)の手法は,Curry–Howard対応を拡張する形でZF\mathrm{ZF}のモデルを与える方法であり,Krivineによって導入された. 強制法を特別な場合として含むが,ZFC\mathrm{ZFC}から開始してもZF+¬AC\mathrm{ZF}+\neg \mathrm{AC}のモデルが得られるという点で強制法を真に一般化するものになっている.

上記最新5件以外は、アーカイブ をご覧ください。

Table Of Contents

プロフィール
私について。最近の活動記録など。
数学関係を纏めておくばしょ
数学関係を纏めておくばしょです。
Programming
プログラミング関連の技術文書や開発したソフトウェアなど。
Writings
その他の文書。サークル関連や暇潰しで書いた小説・評論などを気が向いたら載せます。
Blog
その他の雑多な雉や旧ブログ記事の保管庫です。
Logs
ブログ未満の日常の破片。