Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
A coupld additions to measurable space that I've been sitting on for a while, and which I've realised that I'm not going to write more clearly anytime soon.
But someday I would like to move a lot of the discussion about various approaches to measure theory and make measurable space itself simpler, with pointers to variations.
I have added pointers to the various detailed MO posts by Dmitry Pavlov on measurable spaces.
Your editing lost a bit of material while moving it! (I put that back.)
Oops, sorry, didn’t notice this.
By the way, in the MO posts by Dmitry Pavlov he mentions a few things that eventually deserve to be added to the Lab entry. Such as the role of locales. Maybe at some point somebody finds the time to work that into our entry.
1 to 4 of 4