Timeline for Is "There exists an unbounded non-measurable set but no bounded non-measurable set" consistent with $\mathsf{ZF}$?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2021 at 15:41 | comment | added | Elliot Glazer | My comment was referring to my pre-edit definition, which isn’t even closed under complements. | |
| May 19, 2021 at 15:23 | comment | added | Emil Jeřábek | While I agree now that the right definition of measurability should be the one in your edit (which I would prefer to state as: for all $\epsilon>0$ there exist open $U$ and closed $F$ such that $F\subseteq X\subseteq U$ and $\lambda(U\smallsetminus F)<\epsilon$), this is not required for finite additivity: $\lambda$ (that is, $\lambda^*$) is finitely additive on the algebra of Carathéodory measurable sets as defined in my comments above. | |
| May 18, 2021 at 19:42 | history | edited | Elliot Glazer | CC BY-SA 4.0 |
added 283 characters in body
|
| May 18, 2021 at 18:59 | history | edited | Elliot Glazer | CC BY-SA 4.0 |
edited body
|
| May 18, 2021 at 18:31 | history | answered | Elliot Glazer | CC BY-SA 4.0 |