Computably enumerable and co-computably enumerable equivalence structures Presentation uri icon