An existence theorem for recursion categories
From MaRDI portal
Publication:3211292
DOI10.2307/2274486zbMATH Open0723.03029OpenAlexW2033751758MaRDI QIDQ3211292FDOQ3211292
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
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)
- 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
- Aspects of Categorical Recursion Theory
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- An algebraic approach to categories of partial morphisms
- Title not available (Why is that?)
- Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
- Title not available (Why is that?)
- A relativization mechanism in recursion categories
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)
