On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\) (Q1379778)

Souslin sets of a topological space \(X\) are projections of Borel subsets of \(X\times \mathbb{N}^{\mathbb{N}}\) to \(X\). Theorem 1.1 says that every uncountable Souslin subset \(S\) of the \(\Sigma\)-product \(\Sigma (\mathbb{N}^{\aleph_1})\) contains a Cantor set or it contains \(\omega_1\) or \(S= \{x_\alpha\); \(\alpha< \omega_1\}\), with \(\{x_\alpha\); \(\alpha<\beta\}\) closed for \(\beta< \omega_1\). In particular, \(S\) is either \(\sigma\)-scattered or contains a Cantor set. It is known that this dichotomy holds in cover-analytic spaces (a result of R. W. Hansell). However, it is shown that \(\Sigma (\mathbb{N}^{\aleph_1})\) is not cover-analytic. Theorem 1.1 is proved using a special parametrization of the \(\Sigma\)-product by a Borel measurable map from the Baire space \(B(\aleph_1)\). An alternative proof, going back to a Corson argument, is also sketched. Natural partition of \(\Sigma (\mathbb{N}^{\aleph_1})\) into \(\aleph_1\) layers is considered and a refinement of the above result is obtained. It enables also to improve a result of Kanovei result solving Luzin's problem on the intersections of a Souslin subset of the classical space of well-orderings on positive rational numbers, \(WO\), with the constituents \(WO_\xi\). A locally countable non-Souslin subset of \(\Sigma (\mathbb{N}^{\aleph_1})\) is shown to exist. This answers a question of Kemoto and Yajima. Interesting results on closed embeddings are also obtained. In particular, there is a closed locally countable subset of \(\mathbb{N}^{\aleph_1}\) that is not \(\sigma\)-relatively discrete. There is also a closed perfectly normal subspace of \(\mathbb{N}^{\aleph_1}\) that is locally homeomorphic with irrationals but not a countable union of closed subspaces with finite covering dimension.