A relativization mechanism in recursion categories
From MaRDI portal
Publication:4283065
DOI10.2307/2275141zbMATH Open0796.03051OpenAlexW2010003102MaRDI QIDQ4283065FDOQ4283065
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
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
Special categories (18B99) Other degrees and reducibilities in computability and recursion theory (03D30) Abstract and axiomatic computability and recursion theory (03D75)
Cites Work
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- An algebraic approach to categories of partial morphisms
- Title not available (Why is that?)
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)
