Hyperenumeration reducibility
From MaRDI portal
Publication:1229714
DOI10.1305/NDJFL/1093888400zbMath0336.02034OpenAlexW4205097965MaRDI 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
Related Items (2)
Reducibilities in two models for combinatory logic ⋮ On cototality and the skip operator in the enumeration degrees
This page was built for publication: Hyperenumeration reducibility
