 This relationship between lightface sets and their indices is used to extend the lightface Borel hierarchy into the transfinite, via recursive ordinals.This produces that hyperarithmetic hierarchy, which is the lightface analog of the Borel hierarchy.