Quasidetermined infinite game (source code)

= Quasidetermined infinite game

An <infinite game of perfect information> is quasidetermined when one of the players has a winning <quasistrategy>. Choosing one allowed move at every relevant position refines a winning quasistrategy to a <winning strategy in an infinite game> whenever the required restricted choice principle holds.