On the number of permutatively inequivalent basic sequences in a Banach space

Let X be a Banach space with a Schauder basis (en)_n∈N. The relation E₀ is Borel reducible to permutative equivalence between normalized block-sequences of (en)_n∈N or X is c₀ or ?p saturated for some 1?p<+∞. If (en)_n∈N is shrinking unconditional then either it is equivalent to the canonical basis of c₀ or ?p, 1<p<+∞, or the relation E₀ is Borel reducible to permutative equivalence between sequences of normalized disjoint blocks of X or of X^∗. If (en)_n∈N is unconditional, then either X is isomorphic to ?₂, or X contains ω² subspaces or ω² quotients which are spanned by pairwise permutatively inequivalent normalized unconditional bases.