Hyperarithmetical and nonhyperarithmetical relations on structures Presentation uri icon