Marriage Theorem 新居

nuc 2009/05/04 02:06 いえ、アレフは cofinality が \omega でないようなどんな濃度と等しくても OK です。
\omega_2 でも \omega_23 でも \omega_\omega_1 でも。
これは forcing で一緒に出てきます。

参考文献 Kunen "set theory"

MarriageTheorem 2009/05/04 11:42 おぉ〜、そうなんですか。それもまた不思議な現象ですね。
それにしても、forcingというのはこんなことまで示すこともできてしまうんですか。本当に強力な手法なんですね。
勉強になりました。ありがとうございます。

スパム対策のためのダミーです。もし見えても何も入力しないでください

コメントを書くには、なぞなぞ認証に回答する必要があります。