flamingos-cant@feddit.uk to 196@lemmy.blahaj.zoneEnglish · 6 months agoSpectrum rulemessage-squaremessage-square140fedilinkarrow-up1976arrow-down10
arrow-up1976arrow-down1message-squareSpectrum ruleflamingos-cant@feddit.uk to 196@lemmy.blahaj.zoneEnglish · 6 months agomessage-square140fedilink
minus-squareKogasa@programming.devlinkfedilinkarrow-up2·6 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.