Effective equivalence structures and their isomorphisms Presentation uri icon