@inbook{10.2307/j.ctt45kdbf.7,
ISBN = {9789053563564},
URL = {http://www.jstor.org/stable/j.ctt45kdbf.7},
abstract = {We study two-player games of infinite duration that are played on finite or infinite game graphs. Such a game isdeterminedif, from each position, one of the two players has a winning strategy. On the basis of the axiom of choice it is not difficult to prove that there exist nondetermined games. The classical theory of infinite games in descriptive set theory links determinacy of games with topological properties of the winning conditions. Usually the format of Gale-Stewart games is used where the two players strictly alternate, and in each move a player selects an element of {0, 1};},
author = {Erich Grädel and Łukasz Kaiser},
booktitle = {Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London},
pages = {89--116},
publisher = {Amsterdam University Press},
title = {What Kind of Memory is Needed to Win Infinitary Muller Games?},
year = {2007}
}