Every set of reals is continuum-Suslin

ID: every-set-of-reals-is-continuum-suslin

Every is -Suslin. Give each its own label and use the tree of finite pairs , then relabel the first coordinate by an injection into a set of size .

New to topics? Read the docs here!