Edit Comment on
20090302-1
n[0] = "くるる"; m[0] = "反例としては、$\theta\geq\aleph_2$、$\kappa=\aleph_2$として、可算な$M\prec H(\theta)$をとってやれば、$M\cap\aleph_2$は順序数になりません。なぜならば、$\aleph_1$は定義可能なので$M$に属します。ここで、$M\cap\aleph_2$が順序数だとすると、$\omega_1\subseteq M$となって$M$が可算であることに矛盾します。<br>こういう濃度の違いを利用しないような反例は、たぶん作るのがちょっと大変だと思います。"; d[0] = "2009-03-04 13:50:18"; n[1] = "かがみ"; m[1] = "ありがとうございます。$M\cap\omega_1 \notin M$ と同じ論法で反例になるのですね。ところでコメントの例を $B_0$ として本文の論法を適用すると (2) の条件が矛盾することに気がつきました。sup(B_n \cap \kappa) の濃度は増える可能性があるので、本文の (2) は誤りであることを追記しました。"; d[1] = "2009-03-05 06:17:48";
(password)