Computing the complexity of the relation of isometry between separable Banach spaces

We compute here the Borel complexity of the relation of isometry between separable Banach spaces, using results of Gao, Kechris [1] and Mayer-Wolf [4]. We show that this relation is Borel bireducible to the universal relation for Borel actions of Polish groups.

• Type: Journal
• Year: 2007
• Where: MLQ
• Authors: Julien Melleray
• Keywords: Borel Actions, Borel Complexity, MLQ 2007, Separable Banach Spaces