放課後、いつも通り図書室に来てみるとテトラちゃんがなにやら難しい顔をして本とにらめっこしていた。 僕「今度は何を読んでいるの？」 テトラ「あ、先輩。…この前、ミルカ先輩がclub guessing sequence(CG列)の存在証明を教えて下さいましたよね」 僕「あ…

[集合論] GCHが成り立たないときのべきの値 にゃー、みんなボクが『数学』に書いたサーベイ読んでにゃー。 正則基数のべき(Eastonの定理) 今更入手困難でしょうし書きますよ。まず、αを無限順序数とするとき、それの非有界部分集合の最小濃度をαの共終数(cof…