The isomorphism class of $c_0$ is not Borel

Ondřej Kurka

We show that the class of all Banach spaces which are isomorphic to $c_0$ is a complete analytic set with respect to the Effros Borel structure of separable Banach spaces. The…