Solution to a Problem of Spector

DOI10.4153/CJM-1971-024-7zbMath0272.02064MaRDI QIDQ3214910

Alistair H. Lachlan

Publication date: 1971

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items

Π₁¹ relations and paths through ⋮ Automorphism bases for degrees of unsolvability ⋮ A dual form of Erdős-Rado's canonization theorem ⋮ A DNC function that computes no effectively bi-immune set ⋮ Banach–Mazur games, comeager sets and degrees of unsolvability ⋮ Local Initial Segments of The Turing Degrees ⋮ Quasi-minimal enumeration degrees and minimal Turing degrees ⋮ Strong reducibilities ⋮ Diagonally Non-Computable Functions and Bi-Immunity