尊みで飯が食えるスマートフォン用の表示で見る尊みで飯が食えるtwitterアカウントは@mg_toHKRです。partitionそういえば前に読んだ論文の証明面白かったな〜と思ったらそのときにノート書いてた。軽く加筆して公開することにした。これZFCから証明出来るんじゃないですかね〜と思うけどもしかしたらとんでもないところから反例作れるのかもしれない。forcingは全部ダメであることが知られています。compactと最小のmeasurableが一致するモデルが作れるという話があったなあ。あとで読まねばならんと思いつつ半年くらい経過したこの前PFAのモデル作る話を公開したけど、せっかくなので連続体濃度がω2になる話でも読んで加筆しようか、と思ったけどそこまで簡単でもなさそうだった。Axiomというの、なんか実数がどうとか言っていてあんま読む気にならん〜まあ気が向いたら適当にやろう。numberが2^ωになることが証明出来るそうです。PFAからOCAが出てくるのでそういう感じらしい。PFAからω1<2^ωはMA_ω1を経由すれば簡単だけど、そんなノリで出てくるんじゃなかろうかと思っていたらどうもそうでもないらしい。www.dropbox.comあーなんかあれやこれやでお金がない。きらら展の前売り券とか全買いして保存しておきたいとか思っていたけど、まだ2枚しか買えていないなあ。前売り券買っても当日券も販売するという話を聞くし、前売り券使うの...?使えなくない...?みたいな気持ちになってそっと仕舞っておく未来が見える。?券回収されないといいな。だし手元に置いておきたい。いや最近肉というと鶏肉ばかり食べているな。スーパー行くとつい鶏のササミを買ってしまう。鶏肉のピカタとか簡単に作れて美味しいよね。学食でもチキンなんちゃらとかチキンカツカレーとか、なんか豚や牛のhogehogeと比べると値段が少しばかり安いのでつい鶏を選びがち。いや美味しいからいいんだけど。partitionTweet広告を非表示にする関連記事2018-10-12PFAの無矛盾性証明についてのノートおはようございます。conditionの証明という話を諸々あって書いたのでせっかくなので公開します。最...2017-12-04Gitik-Sharonモデルについておはようございます。真面目なブログ記事です。その1せっかくtexを使えることが判明したので数学の話を書きます。»プロフィールid:mnsthkr96112無限組み合わせ論を面白がっている情報科学科の学生でしたが特異基数組合せ論を専攻する数学科の院生になりました。プロフ画像はB1のときに作った公理的集合論オムライスです。あらこの編Extender-basedの準備ノート月別アーカイブはてなブログをはじめよう!mnsthkr96112さんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。