Countable-family diamond equivalence
ID: countable-family-diamond-equivalence
Enumerate each countable guessing family and use a bijection with a club set of prefix-closure points. The th candidate sequence decodes the th component of the th family entry. If all candidates fail, choose counterexample sets and club sets witnessing failure, then code the together using . A correct family guess on the common closure club set and all failure club sets decodes to one of the forbidden correct guesses. The singleton-family implication supplies the reverse direction.
New to topics? Read the docs here!