Every set of reals is continuum-Suslin
ID: every-set-of-reals-is-continuum-suslin
Assume the axiom of choice, and let . Every such is -Suslin. To see this, use the elements of Baire space of sequences as labels. For each , put the nodeof length into a tree, including its prefixes. The label sequence repeats the same entire real at every position. An infinite branch therefore projects to that particular , rather than merely to a limit of elements of . The projection is exactly .
A bijection between the label set and a cardinal of size converts this into the usual Kappa-Suslin set representation. The well-ordering of the labels uses choice; without it, the real-labelled tree is still available but an ordinal-sized relabelling needs a separate hypothesis.
New to topics? Read the docs here!