Effective categoricity of equivalence structures Presentation uri icon