flamingos-cant (hopepunk arc)@feddit.uk to 196@lemmy.blahaj.zoneEnglish · vor 2 JahrenSpectrum rulefeddit.ukimagemessage-square138linkfedilinkarrow-up1980arrow-down10
arrow-up1980arrow-down1imageSpectrum rulefeddit.ukflamingos-cant (hopepunk arc)@feddit.uk to 196@lemmy.blahaj.zoneEnglish · vor 2 Jahrenmessage-square138linkfedilink
minus-squareKogasa@programming.devlinkfedilinkarrow-up2·vor 2 JahrenIt’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.