The following pages link to Turing computable embeddings of equivalences other than isomorphism (Q5401521):
Displaying 2 items.