2014-01-01から1年間の記事一覧

うーん昨日書いたことは的を射てないような気がしてきた。 というのは、 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奴〜wwwww

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

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

寝ず。 iterated forcingの基本的な事実の証明のアイディアを思いついた。 少しonmp.texの作業した。 夜寝た。

起きた。

ゼミ出た。 コーヒー飲んでテンション上がっていろんな妄想した。 久しぶりにゲーム1戦。 寝られず。

iterated forcingについて考えた。 時間内にバイト終わった。 一駅多く歩いた。 昨日より早く寝た。

昨日より早く寝た。 tora.texを作り始めた。 昼飯生協で食った。 おやつ食った。 リストに基本的な定理をいくつか追記した。 復習すべきところを特定した。 風呂入った。