Su Gao and Alexander S. Kechris
Abstract(preliminary)
We characterize the complexity of the classification problem of Polish metric spaces up to isometry as, up to Borel bireducibility, the unique univeral orbit equivalence relations induced by Borel actions of Polish groups. As a corollary of the proof, we derive that every Polish group is isomorphic to the isometry group of some Polish metric space.
We also develop an analysis of the isometry groups of locally compact separable metric spaces and give a complete characterization for this class of Polish groups.
Our investigation of metric structures suggests some connection of topology with model theory.
Table of Contents