Suppose that (Fn) ∞ n=1 is a sequence of regular families of finite subsets of N and (θn) ∞ n=1 is a nonincreasing null sequence in (0, 1). The mixed Tsirelson space T [(θn, Fn) ∞ n=1 ] is the completion of c00 with respect to the implicitly defined normwhere the last supremum is taken over all sequences (Ei) k i=1 in [N] <∞ such that max Ei < min Ei+1 and {min Ei : 1 ≤ i ≤ k} ∈ Fn. Necessary and sufficient conditions are obtained for the existence of higher order ℓ 1 -spreading models in every subspace generated by a subsequence of the unit vector basis of T [(θn, Fn) ∞ n=1 ].
PreliminariesMixed Tsirelson spaces were first introduced by Argyros and Deliyanni [2]. They furnish a central class of examples in the recent development of the structure theory of Banach spaces. In [9], the authors computed the Bourgain ℓ 1 -indices of mixed Tsirelson spaces. A stronger measure of the finite dimensional ℓ 1 -structure of a Banach space is the presence of (higher order) ℓ 1 -spreading models. Kutzarova and Lin [7] showed that the Schlumprecht space [11], a fundamental example that opened the door to much of the recent progress in the structure theory of Banach spaces, contains an ℓ 1spreading model. Subsequently, Argyros, Deliyanni and Manoussakis [4] showed that if θ n+m ≥ θ n θ m and lim n θ