Computability-theoretic properties of relations on computable models Presentation uri icon