■
明けましておめでとうございます。
今年の目標は「overkillしていく」で行きます。
というのは、まぁ遅刻癖・サボり癖を持っている人にはありがちなことなのですが、
例えば待ち合わせというシチュエーションで「今家出ると早く着きすぎるかな?」などと考えて色々無駄なことをして時間をつぶしている内に、却って早く着くどころか遅刻する、ということがあります。
実際のところは早く着きすぎるどころか、むしろ間に合うことの方が稀なのですが。
「時間内に所定の場所に行く」という単純なこと以外にも、何かしらの期限などが定まっていること全般で「今本気を出したら余裕過ぎちゃうかな?」とつい思ってしまい、overkillどころかむしろ自分が殺されてしまう、ということが僕のような人間の場合は多発しているわけです。
しかし、実際のところは、世の中overkillしまくるくらいでちょうどいいので、overkillしまくるつもりでやっていこうと思います。
やってみるとoverkillじゃなくてjustkillあるいはunderkillになってしまう事案も多発するとは思いますが、それはそれでいいと思うので、そういう心持ちで行こうと思います。
今年もよろしくお願いします。
■
基本的なことなのだけど、新版Kunen IV.6 Current Forcing Notationに述べられているような、「Vをgeneric filter GでV[G]に拡大するかのような方便」を使うことの意味が少しよくわかった。
いやつまり、この新版Kunenでは、「公式見解」として「Vってのは本当はcountable transitive model Mのことやで〜」ってのを強調していてそれはそれで1つの一貫した見方ではあるんだけれども、じゃあV^{P}\models\phi*1ってのは具体的にどういう言明なのかってのは見えにくい。
個人的には、この本で右肩に*をつけて表されている、帰納的定義のヴァージョンの方を公式の定義にして、「それっていうのはtransitive model Mのgeneric拡大でほにゃららが成立するということなんやで〜」としてくれた方がわかりやすかったかもしれない。
この話はKさんと10回くらいしたような気がするが、僕は一面的な理解はしていたが、やっと気持ちまで含めて分かったというかなんというか、まぁそういうことってありますよね。
■
*[雑記]
よく寝て13時起き。
何もやる気が起きず。何もやらないのはと、28時から作業して寝る前にギリギリ、バイトの雑用済ます。