INFO:
Tutorial on hyperarithmetic sets and computable structure theory