scientific article; zbMATH DE number 4195927

MaRDI QIDQ5202648zbMATH OpenFDO

Authors Alex Heller

Publication date 1988

zbMATH Keywords

dominical categoriesrecursion categories

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• An existence theorem for recursion categories
• More existence theorems for recursion categories.
• scientific article; zbMATH DE number 3979049
• Dominical categories: recursion theory without elements
• Creativeness and completeness in recursion categories of partial recursive operators

Cited in

(9)

• More existence theorems for recursion categories.
• An existence theorem for recursion categories
• scientific article; zbMATH DE number 3950509 (Why is no real title available?)
• scientific article; zbMATH DE number 3950510 (Why is no real title available?)
• Dominical categories: recursion theory without elements
• A relativization mechanism in recursion categories
• Primitive recursion, equality, and a universal set
• scientific article; zbMATH DE number 980656 (Why is no real title available?)
• The category-theoretic solution of recursive metric-space equations

This page was built for publication:

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