以前なんかRowbottomの定理を使わないでPrikry conditionを証明しよう、みたいな記事を書いていた気がする。
今回書いたのはPrikry conditionからRowbottomの定理が証明出来るよって話。
なんと前回の記事と併せるとRowbottomの定理が証明出来てしまうのだ!
というわけでこれは月刊Rowbottomの定理を作るの2月号になります。
フツーの証明はKanamoriの§7に書いてあった気がする。§8だっけ?まあいいか
うーんでもRowbottomの定理もPrikry conditionも私はあまり違って見えないのです。Prikry conditionってなんだろう?という漠然とした疑問を抱いているんですけど「Prikry conditionとはすなわちmeasureに関する分割の性質そのものである」みたいなことが言えて欲しい。というはかり予想があります。
それはそれとして来月号のまんがタイムきららは15周年記念号らしい。楽しみですね!
今気付いたけどファイルの名前がtheoremじゃなくてthemremになってた。まあいいか...