墓標

オタク思想とオタク地獄とラブコメと萌え4コマ漫画

2018-04-01から1ヶ月間の記事一覧

Rowbottomの定理を使わないPrikry conditionの証明

という話を諸々あって書いたのでせっかくなので公開します。 最近オタクの質が落ちているのでなんとかしたい。もっと軽率にアキバに行きたい。 アニメは見ているし漫画も読むんだけど空き時間や息抜き感覚になってしまってダメですね... しかしどんなときに…

Silver-Solovayの解になるような強制法が存在しないような状況

こんにちは。 前にこんなブログ記事を書きました。 mgtohakari.hatenablog.com ここで次の問題を紹介しました: 問題(Silver-Solovay) 全ての基数を保存するが共終数を変更する強制法は存在するか? これに対して次がある: 定理(Prikry) 可測基数が存在する…