Welcome to Incremental Social! Learn more about this project here! Check out lemmyverse to find more communities to join from here!
kogasa , 1 month ago 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.
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.