flamingos-cant@feddit.uk to 196@lemmy.blahaj.zoneEnglish · 1 year agoSpectrum rulefeddit.ukimagemessage-square136linkfedilinkarrow-up1981arrow-down10
arrow-up1981arrow-down1imageSpectrum rulefeddit.ukflamingos-cant@feddit.uk to 196@lemmy.blahaj.zoneEnglish · 1 year agomessage-square136linkfedilink
minus-squareKogasalinkfedilinkarrow-up2·1 year 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.