flamingos-cant to 196@lemmy.blahaj.zoneEnglish · 8 months agoSpectrum ruleimagemessage-square142fedilinkarrow-up1981arrow-down10
arrow-up1981arrow-down1imageSpectrum ruleflamingos-cant to 196@lemmy.blahaj.zoneEnglish · 8 months agomessage-square142fedilink
minus-squareKogasa@programming.devlinkfedilinkarrow-up2·8 months agoIt’s required, but nontrivially so. It has been proven that ZF + dependent choice is consistent with the assumption that all sets of reals are Lebesgue measurable.
It’s required, but nontrivially so. It has been proven that ZF + dependent choice is consistent with the assumption that all sets of reals are Lebesgue measurable.