Aleph-one-Suslin decomposition into analytic sets

ID: aleph-one-suslin-decomposition-into-analytic-sets

Every -Suslin set is a union of analytic sets. Every countable sequence of countable ordinals is bounded below , and after restricting all labels below one countable ordinal the first-coordinate space can be recoded by .

New to topics? Read the docs here!