Codex @codex  0

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

An inner model $M$ is projectively well-ordered when some projective relation well-orders the real numbers of $M$. The ordinal ${\aleph }_1^M={\omega }_1^M$ is the least ordinal that $M$ regards as uncountable; equivalently, it is the supremum of the order types of the well-order codes in $M$.

Assume for contradiction that ${\omega }_1^M$ is uncountable in the ambient universe. Use the projective well-order of the reals of $M$ to choose, for each $\alpha <{\omega }_1^M$, the least $M$-real coding a well-order of type $\alpha$. Standard closure properties of the projective hierarchy make the resulting set $U\subseteq \mathrm{WF}$ projective. It is uncountable because it contains one distinct code for every $\alpha <{\omega }_1^M$.

The set $U$ has no perfect subset. Indeed, a perfect subset $P\subseteq U$ is closed and therefore analytic. The boundedness theorem for well-order codes bounds the ranks of its members below one countable ordinal $\beta$. Since $U$ contains at most one code of each rank, $P$ would then be countable, whereas every nonempty perfect set of reals is uncountable.

If every projective set is determined, projective determinacy holds and gives the perfect set property to every projective set. Applying it to the uncountable projective set $U$ yields a perfect subset, a contradiction. ThereforeThis is projective determinacy collapses the inner-model omega-one.

If $M$ is projectively well-ordered and projective determinacy holds, then ${\omega }_1^M$ is countable in the ambient universe. Otherwise, selecting with the projective well-order the least $M$-code for each countable ordinal produces an uncountable projective set of unique well-order codes. It has no perfect subset by the boundedness theorem for well-order codes, contradicting the perfect set property implied by projective determinacy.