うーん昨日書いたことは的を射てないような気がしてきた。 というのは、 V^{P}\models\phi というのはmetatheoryの\phiにしか定義されないということを考慮せずに昨日の記事を書いたから。 今読んでる論文はその辺のデリケートな話をひょいひょいとやってい…

基本的なことなのだけど、新版Kunen IV.6 Current Forcing Notationに述べられているような、「Vをgeneric filter GでV[G]に拡大するかのような方便」を使うことの意味が少しよくわかった。 いやつまり、この新版Kunenでは、「公式見解」として「Vってのは本…

集中力が持続する時間がカントール集合な間ある。3日あったら中1日は休んでいて、3時間あったら中1時間は休んでいて、30分あったら中10分は休んでいて…etc. 測度0奴〜ｗｗｗｗｗ

書くことなんてあるかバカヤロー

＊[雑記] よく寝て13時起き。 何もやる気が起きず。何もやらないのはと、28時から作業して寝る前にギリギリ、バイトの雑用済ます。