尊みで飯が食える

twitterアカウントは@mg_toHKRです。萌え4コマまんがと特異基数がテーマのブログです

Prikry conditionを使ったRowbottomの定理の証明

以前なんかRowbottomの定理を使わないでPrikry conditionを証明しよう、みたいな記事を書いていた気がする。

 

mgtohakari.hatenablog.com

 

今回書いたのはPrikry conditionからRowbottomの定理が証明出来るよって話。

 

なんと前回の記事と併せるとRowbottomの定理が証明出来てしまうのだ!

 

というわけでこれは月刊Rowbottomの定理を作るの2月号になります。

 

フツーの証明はKanamoriの§7に書いてあった気がする。§8だっけ?まあいいか

 

うーんでもRowbottomの定理もPrikry conditionも私はあまり違って見えないのです。Prikry conditionってなんだろう?という漠然とした疑問を抱いているんですけど「Prikry conditionとはすなわちmeasureに関する分割の性質そのものである」みたいなことが言えて欲しい。というはかり予想があります。

 

それはそれとして来月号のまんがタイムきららは15周年記念号らしい。楽しみですね!

 

 

www.dropbox.com

 

今気付いたけどファイルの名前がtheoremじゃなくてthemremになってた。まあいいか...