1.Previous
3.Next

The axiom of determinacy refers to games of the following specific form:Consider a subset A of the Baire space ?^? of all infinite sequences of natural numbers. Two players alternately pick natural numbers
:n₀, n₁, n₂, n₃, ...That generates the sequence _i>_i?? after infinitely many moves. The player who picks first wins the game if and only if the sequence generated is an element of A. The axiom of determinacy is the statement that all such games are determined.

1.Previous
3.Next