Prefer a chat interface with context about you and your work?
Degrees of and lowness for isometric isomorphism
We contribute to the program of extending computable structure theory to the realm of metric structures by investigating lowness for isometric isomorphism of metric structures. We show that lowness for isomorphism coincides with lowness for isometric isomorphism and with lowness for isometry of metric spaces. We also examine certain restricted …