On separable Banach subspaces

We show that any infinite-dimensional Banach (or more generally, Fréchet) space contains linear subspaces of arbitrarily high Borel complexity which admit separable complete norms giving rise to the inherited Borel structure.