研究が進みそうなのは嬉しいことなんですが、面倒なinductionがあって辛いです。まあ、Shelahがよくやる「inductive hypothesisで一ページ」とかまでは行っていませんが。Shelahの場合はなおかつ、"Proof: Simple."だったりするわけで(爆)。でも、それなりに…