 Solution

By part ii every subset of the Baire space of sequences is $2^{{\aleph }_0}$-Suslin. If $2^{{\aleph }_0}\le {\aleph }_2$, part i would make every such set ${\aleph }_2$-Suslin. Therefore

Now suppose $2^{{\aleph }_0}>{\aleph }_2$. The axiom of choice gives a set $B\subseteq {\omega }^{\omega }$ of cardinality exactly ${\aleph }_2$. If $B$ were ${\aleph }_1$-Suslin, the Aleph-one-Suslin decomposition into analytic sets would write it as a union of ${\aleph }_1$ analytic sets. If all those analytic sets were countable, their union would have cardinality at most ${\aleph }_1$, so one of them is uncountable. The perfect set property for analytic sets then makes that member, and hence $B$, have cardinality $2^{{\aleph }_0}$, contradictingThus $B$ is not ${\aleph }_1$-Suslin, and