Axiom of determinacy (source code)

= Axiom of determinacy
{title2=$\mathsf{AD}$}
{wiki}

The axiom of determinacy states that every game $G(A)$ with $A\subseteq\omega^\omega$ is determined. Its version for a move set $M$ is denoted $\mathsf{AD}_M$.