What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead

摘要

We investigate determinacy of delay games with Borel winning conditions, infinite-duration two-player games in which one player may delay her moves to obtain a lookahead on her opponent's moves. First, we prove determinacy of such games with respect to a