連続体濃度

連続体濃度はアレフ何なのかなぁという疑問 - MarriageTheorem 別室

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

参考文献 Kunen "set theory"

ここでは書かなかったけれども、弱到達不可能基数としてもいいのよね。すごいなあ。