Comment on 20091126-1

あの証明は、他の集合論の研究者も難しいとかわからないとか言っているので、やっぱりなかなか大変だと思いますよ。私は難しいとは思わないのですが、他に同じような証明がないのでとっつきづらいのだろうと思います。のんびり読んでみてください。

弱ダイアモンドについては一つ一つのステップは追えるのですが、結局何をしているのか分からない状態です。何回か読み直して直感的につかめればうれしいなと思っています。Kunen 本の2章を最初に読んだときみたいです。現在あそこはなんとか解読可能ですので、時間をかければこちらも何とかなるかな思っています。いつも面白く分かりやすいお話ありがとうございます。