It is proved that the relation of isomorphism between separable Banach
spaces is a complete analytic equivalence relation, i.e., that any
analytic equivalence relation Borel reduces to it. Thus, separable Banach
spaces up to isomorphism provide complete invariants for a great number of
mathematical structures up to their corresponding notion of isomorphism.