研究が進みそうなのは嬉しいことなんですが、面倒なinductionがあって辛いです。まあ、Shelahがよくやる「inductive hypothesisで一ページ」とかまでは行っていませんが。Shelahの場合はなおかつ、"Proof: Simple."だったりするわけで(爆)。でも、それなりに本質的な条件が８個ぐらいあると、ちゃんと回っているのを確認するのがしんどいです、私には。
愚痴言ってないで真面目にちくちくやります。久しぶりに、large cardinalの方も進みそうだからちゃっちゃかやらねば。
