Computable structure theory studies the relative complexity of mathematical structures. This monograph examines structures whose complexity cannot be analyzed using the arithmetic hierarchy. Aimed at graduate students and researchers in mathematical logic, it brings the main results and techniques in the field together into a coherent framework.