尊みで飯が食えるスマートフォン用の表示で見る尊みで飯が食えるtwitterアカウントは@mg_toHKRです。conditionを証明しよう、みたいな記事を書いていた気がする。conditionからRowbottomの定理が証明出来るよって話。なんと前回の記事と併せるとRowbottomの定理が証明出来てしまうのだ!というわけでこれは月刊Rowbottomの定理を作るの2月号になります。フツーの証明はKanamoriの§7に書いてあった気がする。conditionも私はあまり違って見えないのです。conditionとはすなわちmeasureに関する分割の性質そのものである」みたいなことが言えて欲しい。いうはかり予想があります。それはそれとして来月号のまんがタイムきららは15周年記念号らしい。楽しみですね!www.dropbox.com今気付いたけどファイルの名前がtheoremじゃなくてthemremになってた。conditionの証明という話を諸々あって書いたのでせっかくなので公開します。最...2017-12-04Gitik-Sharonモデルについておはようございます。ゼミでGitik-Sharonモデルの紹介をして資...2017-11-03発表スライド若手の会2017お疲れ様でした。発表したので発表スライドです。»プロフィールid:mnsthkr96112無限組み合わせ論を面白がっている情報科学科の学生でしたが特異基数組合せ論を専攻する数学科の院生になりました。プロフ画像はB1のときに作った公理的集合論オムライスです。あらこの編Extender-basedの準備ノート月別アーカイブはてなブログをはじめよう!mnsthkr96112さんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。