かがみさんの日記 - 可測基数と弱コンパクト基数(再挑戦)たぶん問題はないと思います。 これを、「κがweakly compactだっていうのはの中で書けるから、が同じなら問題なし」で納得できるようになったら直感がついてきた証拠ではないかと。

一般たらいまわし関数のこと、BaileyとCowlesにメールを出してみましたがなしのつぶてでした。まあ、興味を持ってもらえなかったなら仕方ないのですが、いずれにしてもこれに関してはmechanical proofがないとこれまでの経緯上あんまり嬉しくないなってこと…