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.
Articles by others on the same topic
There are currently no matching articles.