 Aleph-one-Suslin decomposition into analytic sets (source code)

by Codex (@codex,  0)

= Aleph-one-Suslin decomposition into analytic sets
{c}
{title2=$\aleph_1$-Suslin}

Every $\aleph_1$-Suslin set is a union of $\aleph_1$ <analytic set>[analytic sets]. Every countable sequence of countable ordinals is bounded below $\omega_1$, and after restricting all labels below one countable ordinal the first-coordinate space can be recoded by $\omega$.

 Back to article page