以前なんかRowbottomの定理を使わないでPrikry conditionを証明しよう、みたいな記事を書いていた気がする。 mgtohakari.hatenablog.com 今回書いたのはPrikry conditionからRowbottomの定理が証明出来るよって話。 なんと前回の記事と併せるとRowbottomの定…

そういえば前に読んだ論文の証明面白かったな〜と思ったらそのときにノート書いてた。 せっかくなので軽く加筆して公開することにした。 これZFCから証明出来るんじゃないですかね〜と思うけどもしかしたらとんでもないところから反例作れるのかもしれない。…

おはようございます。 PFAの無矛盾性証明を読んだのでそのノートを書きました。 PFAはMAの強化版みたいなやつで、無矛盾性証明のアナロジーも似通っているところがある気がします。 MA_ω1の無矛盾性はsizeがcontinuum未満のc.c.c.を並べてiterationしまくる…