Determinacy of adversarial Gowers games

Abstract

We prove a game theoretic dichotomy for $G_{\delta\sigma}$ sets of block sequences in vector spaces that extends, on the one hand, the block Ramsey theorem of W. T. Gowers proved for analytic sets of block sequences and, on the other hand, M. Davis' proof of $G_{\delta\sigma}$ determinacy.