Past exam of the analytic topology and axiomatic set theory course of the University of Oxford / 2010 / B / 5 / d / i / Solution

Constant functions give the lower bound ${\aleph }_2\le {\aleph }_2^{{\aleph }_0}$. By the Generalized continuum hypothesis, ${\aleph }_2=2^{{\aleph }_1}$. The currying law for cardinal exponentiation and infinite cardinal arithmetic therefore giveHence $\boxed{{\aleph }_2^{{\aleph }_0}={\aleph }_2}$.