Determinacy of Infinite Games

This paper introduces the notion of infinite games, i.e., games in which two players take turns playing moves ad infinitum, so that player I wins if the sequence of moves is in a predetermined payoff set. Theorems are then provided about whether a player in such games can have a winning strategy. The first theorem, Gale-Stewart, shows that games...