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

更新履歴など

プロフィール - 2017/04/25 20:31:30 JST

わたしについて。

Cohen実数はSuslin木を付加する [PDF版] - 2016/11/25 15:00:00 JST

Shelahは実数の集合の性質に関する記念碑的論文において滅茶苦茶いろいろな事を示していて本当にヤバいんですが,その中で一節割いて「Cohen実数を付加するとSuslin木も足される」という事を示しています.原論文における構成は結構煩雑に見えますが,後にTodorčevićは彼の発明したの手法を用いて自然で比較的簡単な構成を与えました.minimal walkの手法はAronszajn木の構成にも使えますが,これとCohen実数を単に合成してやる事でSuslin木が得られるのです.本稿ではこの方法について(強制法の基礎理論は別にして)証明します.

Boole値モデルと強制法 [PDF版] - 2016/07/11 11:00:00 JST

集合論における無矛盾性証明で用いられる主要な手法である強制法と,密接に関連するBoole値モデルの手法について,本稿では幾らか証明を省略しつつ概略を採り上げます.また,Hamkinsら~の説明に基づいて,超冪とBoole値モデルの関係についても簡単に解説します.

絶対性チートシート [PDF版] - 2016/05/26 19:00:00 JST

公理的集合論においてあるモデルの性質を調べる際,様々な概念の絶対性を利用します.このプリントは,どのような条件下でどんな概念が絶対性を満たすのかをメモした個人的な覚書です.あくまで手軽に使うための覚え書きなので,そこまで踏み込んだ証明などは載せず,寧ろ一覧表のような体裁になる予定です.

On Regularity Properties of Sets of Reals and Inaccessible Cardinals (実数の集合の正則性と到達不能基数) - 2016/02/01 18:02:38 JST

修士論文。Solovayによる「ZF+弱い選択公理+"任意の実数の集合が可測"」という体系の無矛盾性証明と、およびKhomskiiによる一般化、そしてSolovayの逆向きの結果であるShelahの結果についてのサーヴェイ論文。また、上述の体系における代替的な解析学の結果も簡単に紹介。

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

Table Of Contents

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

主に日常のつぶやきなどはこちら。Twitter を始めてから情報発信を Twitter でしかしなくなった感じがする。

GitHub

開発したもので公開しても差し支えのないものなどはこちらで管理中。

ブクログ

本棚。蔵書と既読の管理。レビュー等は気が向いたら更新している。だいたいここを見れば趣味が把握出来る。

ねこはかわいい(Tumblr)

たんぶらー。Twitter で見掛けた記事を適当にスクラップしている。

slideshare

主に技術系のプレゼンの発表資料などはこちら。

Keybase

PGP鍵共有。