An existence theorem for recursion categories

DOI10.2307/2274486MaRDI QIDQ3211292zbMATH OpenOpenAlexFDO

Authors Alex Heller

Publication date 1990

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

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

zbMATH Keywords

P-categoriesRecursion categories

Mathematics Subject Classification ID

Special categories (18B99) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• scientific article; zbMATH DE number 4195927
• More existence theorems for recursion categories.
• Recursive categoricity and recursive stability
• Aspects of categorical recursion theory
• On the existence of recollements of functor categories
• Categorial generalization of algebraic recursion theory
• Recursive categoricity and persistence
• scientific article; zbMATH DE number 3950509
• A relativization mechanism in recursion categories
• scientific article; zbMATH DE number 19499

Cited in

(12)

• A relativization mechanism in recursion categories
• Renormalisation and computation. II: Time cut-off and the halting problem
• Introduction to Turing categories
• The category-theoretic solution of recursive metric-space equations
• More existence theorems for recursion categories.
• A note on recursive functions
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• An algebraic approach to categories of partial morphisms
• scientific article; zbMATH DE number 980656 (Why is no real title available?)
• Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
• Aspects of categorical recursion theory
• scientific article; zbMATH DE number 3950509 (Why is no real title available?)

This page was built for publication: An existence theorem for recursion categories

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