DOI10.1215/00294527-2008-009zbMath1157.03021OpenAlexW2061233788MaRDI QIDQ948754
Christopher P. Alfeld
Publication date: 20 October 2008 Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1215/00294527-2008-009
zbMATH Keywords
prioritymass problemseparable degree\(\Pi^0_1\)-classesbranching degrees
Mathematics Subject Classification ID
Other degrees and reducibilities in computability and recursion theory (03D30)