Metarecursively enumerable sets and their metadegrees
Graham C. Driscoll · Journal of Symbolic Logic · 1968
Metarecursion theory is an analogue of recursion theory which deals with sets of recursive, or constructive, ordinals rather than of natural numbers. It was originated by Kreisel and Sacks [3], who make extensive use of an equation calculus developed by Kripke. We assume that the reader is acquainted with the outline of it given in [3], and especially in [3, §3].