Effective categoricity of equivalence structures Academic Article uri icon