Computably enumerable relations on computable models Presentation uri icon