Skip to main content
5 events
when toggle format what by license comment
Jul 27, 2021 at 7:14 comment added Andrej Bauer Goof point, I was a bit sloppy there with regards to the criteria.
Jul 26, 2021 at 23:06 comment added Gro-Tsen Your first example doesn't really work as such because I explicitly ruled out the case when we have a simple explanation like “a counterexample can't be constructed without the axiom of choice”. But you can replace “measurable” by “Borel” and it works (and also ties nicely with the second).
Jul 26, 2021 at 21:26 history made wiki Post Made Community Wiki by Todd Trimble
Jul 26, 2021 at 19:39 history edited Andrej Bauer CC BY-SA 4.0
added 208 characters in body
Jul 26, 2021 at 19:32 history answered Andrej Bauer CC BY-SA 4.0