Why is $\Omega$ the first uncountable ordinal number and not $\omega^\omega$? Isnt the latter a countably infinite product of countably infinite sets and hence uncountable?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
The ordinal exponentiation $\omega^\omega$ is a countable set. But is is not a countable product of countable sets. Instead it is the limit of $\omega^n$, all of which are countable.
As cardinal exponentiation $\omega^\omega=2^\omega$, and the question whether or not there is a smaller uncountable cardinal is known as the continuum hypothesis, and is unprovable from the usual axioms of set theory, that is from $\sf ZFC$.