flamingos-cant to [email protected]English • 4 months agoSpectrum rulefeddit.ukimagemessage-square139fedilinkarrow-up1975arrow-down10
arrow-up1975arrow-down1imageSpectrum rulefeddit.ukflamingos-cant to [email protected]English • 4 months agomessage-square139fedilink
minus-squareKogasalink2•4 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.