Radin forcing

なんかRadin forcing絡みのレビューが二つ連発で来ました。勉強しようかと思いつつ先延ばしにしていた話題でして。四の五の言わずにやりなさいという神のお告げかなんかでしょうか。わかったよ〜、死ぬ気で読むよ〜。
ちなみにRadin forcingは、がsingular strong limit cardinalのときにを持ち上げるためによく使われるforcingです。がregularならばは強制法でほとんど自由にコントロールできるわけですが、singularのときはなかなか大変なのです。