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 node
of 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.

Articles by others on the same topic (0)

There are currently no matching articles.