An existence theorem for recursion categories

DOI10.2307/2274486zbMath0723.03029OpenAlexW2033751758MaRDI QIDQ3211292

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)

Related Items

An algebraic approach to categories of partial morphisms, Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic., A relativization mechanism in recursion categories, Renormalisation and computation II: time cut-off and the Halting Problem, A note on recursive functions, More existence theorems for recursion categories., A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points, Introduction to Turing categories, Aspects of Categorical Recursion Theory