Jump equivalence of the Δ20 hyperimmune sets

DOI10.2307/2272750zbMath0278.02037OpenAlexW2152079305MaRDI QIDQ4405150

S. Barry Cooper

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272750

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (9)

Asymptotic density, immunity and randomness ⋮ The degrees of bi-hyperhyperimmune sets ⋮ Agreement reducibility ⋮ Upward closure and cohesive degrees ⋮ ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS ⋮ Recursively enumerable sets and degrees ⋮ The atomic model theorem and type omitting ⋮ Cohesive avoidance and strong reductions ⋮ On the degrees of constructively immune sets

Cites Work

• Classes of Recursively Enumerable Sets and Degrees of Unsolvability

This page was built for publication: Jump equivalence of the Δ₂⁰ hyperimmune sets