A classification of Tsirelson type spaces

We give a complete classification of mixed Tsirelson spaces T[(F_i, theta_i)_{i=1}^r ] for finitely many pairs of given compact and hereditary families F_i of finite sets of integers and 0<theta_i<1 in terms of the Cantor-Bendixson indexes of the families F_i, and theta_i (0< i < r+1). We prove that there are unique countable ordinal alpha and 0<theta<1 such that every block sequence of T[(F_i, theta_i)_{i=1}^r ] has a subsequence equivalent to a subsequence of the natural basis of the T(S_{omega^alpha},theta). Finally, we give a complete criterion of comparison in between two of these mixed Tsirelson spaces.