Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures

Denis R. Hirschfeldt, Walker M. White. Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures. Notre Dame Journal of Formal Logic, 43(1):51-64, 2002.

Abstract

Abstract is missing.