Successor-Suslin decomposition

ID: successor-suslin-decomposition

For an infinite cardinal number , every -Suslin set is a union of many -Suslin sets. A countable sequence of ordinals below the successor cardinal is bounded there, so restrict the representing tree successively to labels below each .

New to topics? Read the docs here!