A relativization mechanism in recursion categories

DOI10.2307/2275141zbMath0796.03051OpenAlexW2010003102MaRDI QIDQ4283065

Stefano Stefani

Publication date: 26 September 1994

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

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

zbMATH Keywords

reductionrelativizationrecursion categories

Mathematics Subject Classification ID

Special categories (18B99) Other degrees and reducibilities in computability and recursion theory (03D30) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (2)

An algebraic approach to categories of partial morphisms ⋮ Introduction to Turing categories

Cites Work

• Creativeness and completeness in recursion categories of partial recursive operators
• An existence theorem for recursion categories

This page was built for publication: A relativization mechanism in recursion categories