Tsirelson-like spaces and complexity of classes of Banach spaces (Q1800615): Difference between revisions

This interesting article provides the first example of a separable Banach space \(X\) such that the collection of spaces which are isomorphic to a subspace of \(X\) is analytic non Borel in the (by now classical) Borel structure on the set \(SB\) of separable Banach spaces. It is actually shown that the classical space \(c_0\) satisfies this property. The proof relies in particular on a clever use of a Tsirelson-type Banach space constructed by \textit{S. A. Argyros} and \textit{I. Deliyanni} [Trans. Am. Math. Soc. 349, No. 3, 973--995 (1997; Zbl 0869.46002)]. It is also shown, through a canonical approach, that the class of spaces which have the Schur property, or the Dunford-Pettis property, are actually as complex as they look at first sight, namely, these classes are \(\Pi^{1}_{2}\)-complete. It should be stressed that the same author recently provided a significant improvement of his main result, by showing that the isomorphism class of \(c_0\) is analytic non Borel. This result has been published in [\textit{O. Kurka}, Isr. J. Math. 231, No. 1, 243--268 (2019; Zbl 1435.46012)]. This interesting result answers a question which has been around for more than ten years, and advertised in particular by the reviewer.