I know that $\omega_1$={$\alpha$ : $\alpha$ is a countable ordinal} is uncountable but what about the subset of $\omega_1$ of countable successor ordinals?
2026-04-02 17:10:16.1775149816
Is the set of countable successor ordinals countable or uncountable?
281 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
Hint: There is an obvious bijection taking $\omega_1$ to the successor ordinals therein.
Hint 2: To be a successor ordinal is to be in the image of ...?