Timeline for To what logic does the free Boolean sigma-algebra of countably many generators correspond to?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 14, 2018 at 10:17 | comment | added | Robert Furber | Halmos uses "Boolean $\sigma$-algebra" to mean a $\sigma$-complete (abstract) Boolean algebra. This is not redundant, because a $\sigma$-algebra then has its usual definition in measure theory (a field of sets closed under complement and countable union). However, the word Boolean is acting in a peculiar way, so I avoid this terminology in my own writing. | |
| Aug 1, 2018 at 14:15 | history | answered | Alex Kruckman | CC BY-SA 4.0 |