エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
【club guessing sequenceの存在定理の、κが可算の場合の数学ガール風解説が読みたいです】を書いた - kururu_goedel’s diary
放課後、いつも通り図書室に来てみるとテトラちゃんがなにやら難しい顔をして本とにらめっこしていた。 ... 放課後、いつも通り図書室に来てみるとテトラちゃんがなにやら難しい顔をして本とにらめっこしていた。 僕「今度は何を読んでいるの?」 テトラ「あ、先輩。…この前、ミルカ先輩がclub guessing sequence(CG列)の存在証明を教えて下さいましたよね」 僕「ああ、随分と前だけどね。μとκが正則基数でμ^+<κをみたすようなものならば、κ∩Cof(μ)上にCG列が存在する」 テトラ「あの、Cof(μ)ってなんですか?」 僕「ああ、共終数がμになる順序数からなるクラスだよ。」 テトラ「あ、そうなんですか。この本では違う表記になっていて…」 と言われてみた本の表紙にはS.Shelah Cardinal Arithmetic! 僕「いや、その本は最初に学ぶためのものとしては勧められないよ。そういえば、数年前に『数学』にサーベイが…」 ミルカ「ふぅん、CG列の存在証明ね。」 僕「うわっ」 い
2015/05/22 リンク