Many-one degrees of the predicates \(H_ a(x)\)
From MaRDI portal
Publication:2524558
DOI10.2140/pjm.1966.18.329zbMath0147.25203MaRDI QIDQ2524558
Publication date: 1966
Published in: Pacific Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2140/pjm.1966.18.329
Related Items
A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES, Kleene's Amazing Second Recursion Theorem, Hyperarithmetical Sets, Natural well-orderings