Type two partial degrees

DOI10.2307/2273500zbMath0397.03027OpenAlexW2025672083MaRDI QIDQ4180336

Ko-Wei Lih

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273500

zbMATH Keywords

Kleene's Hierarchy of Objects of Finite TypeRecursion Theory over Hreditarily Consistent ObjectsType Two Partial Degrees

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Higher-type and set recursion theory (03D65)

This page was built for publication: Type two partial degrees