Projective determinacy (source code)

= Projective determinacy
{title2=$\mathsf{PD}$}
{wiki}

Projective determinacy states that every <infinite game of perfect information> whose payoff is a <projective set> is determined.