A DNC function that computes no effectively bi-immune set

DOI10.1007/s00153-015-0425-zzbMath1354.03054arXiv1308.1324OpenAlexW2159445998MaRDI QIDQ494640

Achilles A. Beros

Publication date: 1 September 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.1324

zbMATH Keywords

degree theorycomputability theoryrecursion theoryDNCDNR

Mathematics Subject Classification ID

Other Turing degree structures (03D28)

Related Items (2)

FORCING WITH BUSHY TREES ⋮ Effective Bi-immunity and Randomness

Cites Work

• Diagonally Non-Computable Functions and Bi-Immunity
• Solution to a Problem of Spector
• Mass Problems and Randomness
• Comparing DNR and WWKL
• Computability and Randomness
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A DNC function that computes no effectively bi-immune set