Intrinsically Sigma-0-alpha relations on computable structures Presentation uri icon