Computational aspects of the hyperimmune-free degrees

DOI10.1142/9789814449274_0015zbMath1364.03054OpenAlexW2327038779MaRDI QIDQ5737996

No author found.

Publication date: 31 May 2017

Published in: Proceedings of the 12th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2c3aff9782f6982c2072216e075462d072545702

zbMATH Keywords

Turing degreeseffectively closed setshyperimmune-free degrees

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Other Turing degree structures (03D28)

Related Items (3)

Randomness for computable measures and initial segment complexity ⋮ Effective domination and the bounded jump ⋮ On trees without hyperimmune branches

This page was built for publication: Computational aspects of the hyperimmune-free degrees