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!