Turing degrees of hypersimple relations on computable structures Presentation uri icon