A relativization mechanism in recursion categories

DOI10.2307/2275141MaRDI QIDQ4283065zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Intensional Equality in Categories With Structure and Coherence Problems
• scientific article; zbMATH DE number 4195927
• scientific article; zbMATH DE number 7715469
• On some connections between logic and category theory
• scientific article; zbMATH DE number 4068864
• The relative category.
• An existence theorem for recursion categories
• scientific article; zbMATH DE number 3959364
• scientific article; zbMATH DE number 1665321
• Category theory based on combinatory logic

Cites work

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

Cited in

(7)

• An existence theorem for recursion categories
• A new perspective on observables in the category of relations: a spectral presheaf for relations
• Introduction to Turing categories
• scientific article; zbMATH DE number 1136659 (Why is no real title available?)
• scientific article; zbMATH DE number 3901002 (Why is no real title available?)
• An algebraic approach to categories of partial morphisms
• scientific article; zbMATH DE number 3950509 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4283065)