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!