Timeline for Unnecessary uses of the axiom of choice
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 25, 2022 at 6:33 | comment | added | Elliot Glazer | To be somewhat pedantic, this is provable from countable choice but not from ZF alone. In Cohen's model with an infinite, Dedekind finite set of reals, there is a complete probability space for which the associated measure algebra is not complete. In particular, there is a family of characteristic functions on this space with no supremum. | |
| S Feb 23, 2022 at 16:05 | history | answered | daw | CC BY-SA 4.0 | |
| S Feb 23, 2022 at 16:05 | history | made wiki | Post Made Community Wiki by daw |