Abstract. We prove a game theoretic dichotomy for G δσ 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 Σ 0 3 determinacy.
IntroductionIn the present paper, we prove an extension of W. T. Gowers' Ramsey theorem for block sequences in normed vector spaces [6]. This was instrumental in the proof of his dichotomy for Banach spaces between containing an unconditional basic sequence or a hereditarily indecomposable subspace that ultimately led to a solution of the homogeneous space problem for Banach spaces.The statement of Gowers' theorem is as follows. Assume that A is an analytic set of sequences (y n ) of normalised vectors in a separable Banach space E and, moreover, any infinite-dimensional subspace X ⊆ E contains a sequence from A. Then there is an infinite-dimensional subspace X ⊆ E for which one can sequentially choose the terms of some (y n ) close to A such that the y n belong to any given infinite-dimensional subspaces Y n ⊆ X.The precise statement is formulated in terms of a game in which player I plays the subspaces Y n ⊆ X, while player II choses the vectors y n ∈ Y n . While we shall not follow Gowers' lead in dealing with normed vector spaces, but instead use the set-up of [14] and thus consider only vector spaces over countable fields, the exact results proved here easily imply slightly stronger, but approximate, statements for normed vector spaces as is shown in [14].So suppose that E is a countable-dimensional vector space over a countable field F. We define the Gowers game G X played below an infinite-dimensional subspace X ⊆ E as follows. Players I and II alternate in playing respectively infinite-dimensional subspaces Y n ⊆ X and non-zero vectors y n ∈ Y n ,Similarly, the infinite asymptotic game F X is defined as the Gowers game except that I is now required to play subspaces Y n of finite codimension in X (in fact, even so-called tail subspaces). Thus, from the viewpoint of II, the game has not changed, but, in F X , player I will have significantly less control over where player II chooses 2000 Mathematics Subject Classification. Primary: 46B03, Secondary 03E15.