Weak diamond

ヒビルテ(2008-06-29)でKeith Devlinの話題が出ていたので、せっかくだからDevlin and Shelahのweak diamondの話でも書こうかと思ったのですが、妄想を書きすぎて時間がなくなりました(爆)。この次にでも。証明に触れる予定はないですが、とても面白い議論で証明されている実に不思議な定理です。