【club guessing sequenceの存在定理の、κが可算の場合の数学ガール風解説が読みたいです】を書いた - kururu_goedel’s diary

【club guessing sequenceの存在定理の、κが可算の場合の数学ガール風解説が読みたいです】を書いた - kururu_goedel’s diary

放課後、いつも通り図書室に来てみるとテトラちゃんがなにやら難しい顔をして本とにらめっこしていた。 ...概要を表示 放課後、いつも通り図書室に来てみるとテトラちゃんがなにやら難しい顔をして本とにらめっこしていた。 僕「今度は何を読んでいるの？」 テトラ「あ、先輩。…この前、ミルカ先輩がclub guessing sequence(CG列)の存在証明を教えて下さいましたよね」 僕「ああ、随分と前だけどね。μとκが正則基数でμ^+<κをみたすようなものならば、κ∩Cof(μ)上にCG列が存在する」 テトラ「あの、Cof(μ)ってなんですか？」 僕「ああ、共終数がμになる順序数からなるクラスだよ。」 テトラ「あ、そうなんですか。この本では違う表記になっていて…」 と言われてみた本の表紙にはS.Shelah Cardinal Arithmetic！ 僕「いや、その本は最初に学ぶためのものとしては勧められないよ。そういえば、数年前に『数学』にサーベイが…」 ミルカ「ふぅん、CG列の存在証明ね。」 僕「うわっ」 い