non-measurable sets
Sep. 15th, 2008 10:39 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslWikipedia says:
<< In 1979, Solovay established that it is consistent with standard set theory, excluding uncountable choice, to assume that there are no non-measurable sets. >>
i.e. you can only construct these monsters by using uncountable choice. Why aren't mathematicians happy with countable choice? I like the idea of countable choice, since it would seem to keep math computational.
<< In 1979, Solovay established that it is consistent with standard set theory, excluding uncountable choice, to assume that there are no non-measurable sets. >>
i.e. you can only construct these monsters by using uncountable choice. Why aren't mathematicians happy with countable choice? I like the idea of countable choice, since it would seem to keep math computational.