Edit Comment on
20101011-1
n[0] = "かがみ"; m[0] = "あれ。「同値関係」が変だ。今日は眠いので後で直します。"; d[0] = "2010-10-16 01:56:16"; n[1] = "かがみ"; m[1] = "直したけどいまいち上手に表現できていない。とりあえず。後で修正するかも。"; d[1] = "2010-10-16 02:46:09"; n[2] = "かがみ"; m[2] = "一ヶ所ミス訂正。内容のミスというより mimeTeX の記述ミスでした。"; d[2] = "2010-10-18 10:44:11"; n[3] = "くるる"; m[3] = "これ、Jechにある証明でも同様なんですが、$A_{\alpha+1}$の存在のところがわかりません。
例えば、$F(\{\alpha, \beta\})=0$ iff $\alpha=0$ or $\beta=0$とすると、$F_0|C=F_\alpha|C$を満たすような
$\alpha$は存在しないので、もし$0\in A_0$となっていたら$A_1$が構成できないのではないかと思います。
Kanamoriの方の証明は(より面倒くさいにしても)よくわかったのですが。"; d[3] = "2010-10-20 00:55:49"; n[4] = "かがみ"; m[4] = "すみません。「もし$0\in A_0$となっていたら$A_1$が構成できない」部分がよく分かりません。お忙しいところ申しわけございませんがもう少し詳しく教えて頂けないでしょうか。
"; d[4] = "2010-10-23 05:09:17"; n[5] = "くるる"; m[5] = "あ、やっぱりとんでもない勘違いでした。ごめんなさい。
"; d[5] = "2010-10-26 01:24:07";
(password)