Hyperenumeration reducibility
From MaRDI portal
Publication:1229714
DOI10.1305/ndjfl/1093888400zbMath0336.02034MaRDI QIDQ1229714
Publication date: 1978
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093888400
03D65: Higher-type and set recursion theory
Related Items
On cototality and the skip operator in the enumeration degrees, Reducibilities in two models for combinatory logic