y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

$\omega$上のウルトラフィルターが非可算個(連続体濃度)あることの証明,Kunenのm.a.d.のところの定理1.3を使って証明したけど,もっと初等的(?)な証明はないのかしら

· Web · 0 · 1

連続体濃度というか,正確な濃度は$2^{2^\omega}$っぽい