All Questions
1 question
8
votes
1
answer
275
views
Is the measurable space $(\omega_1,\mathcal{P}(\omega_1))$ separable?
Here $\omega_1$ is the first uncountable ordinal, and $\mathcal{P}(\omega_1)$ denotes the power set of $\omega_1$. Separable means countably generated as a $\sigma$-algebra.
- 515