Choice characterization of quasideterminacy

ID: choice-characterization-of-quasideterminacy

For every move set , the statement that every quasidetermined subset of is determined is equivalent in ZF to . The forward direction encodes an arbitrary family of nonempty subsets of into a quasidetermined game; the reverse direction chooses one move from each value of a winning quasistrategy.

New to topics? Read the docs here!