It includes the study of lightface pointclasses, and is closely related to hyperarithmetical theory.
Inclúe o estudo de clases de puntos lightface, e está intimamente relacionada coa teoría hiperaritmética.