Deciding all finite stems by fusion
ID: deciding-all-finite-stems-by-fusion
Choose successive points and, after each choice, thin the unused reservoir to decide all subsets of the finite chosen prefix. There are only finitely many stems to handle at each stage. The final diagonal infinite set decides every one of its finite stems, because its relevant tail lies in the reservoir chosen when the stem's largest point was selected. The argument uses the hereditary decisions from acceptance and rejection of finite stems.
New to topics? Read the docs here!