9:48 AM
in Mathematics, 26 mins ago, by DHMO
what is the theorem called? $|k| \ge |\Bbb N| \implies |k \times k| = |k|$
in Mathematics, 25 mins ago, by DHMO
Can I prove that $|k \times k| = |k| \implies |2^k \times 2^k| = |2^k|$?
in Mathematics, 18 mins ago, by DHMO
so I can prove that $|\Bbb R \times \Bbb R| = |\Bbb R|$ without invoking AoC!
10:20 AM
This question seems interesting: If we only work with beth number, which of the laws for cardinal arithmetic are provable in ZF and which of them need (some form of) choice?
in Mathematics, 13 mins ago, by DHMO
among the results listed here which still needs AoC when restricted to the beth numbers?
5 hours later…
2:56 PM
« first day (1844 days earlier) ← previous day next day → last day (2640 days later) »