scientific article; zbMATH DE number 3989334

MaRDI QIDQ3752374zbMATH OpenFDO

Authors Robert A. Di Paola

Publication date 1985

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Dominical categories: recursion theory without elements
• scientific article; zbMATH DE number 3950509
• Creativeness and completeness in recursion categories of partial recursive operators
• Precomplete Equivalence Relations in Dominical Categories
• Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.

Cited in

(2)

• Precomplete Equivalence Relations in Dominical Categories
• Dominical categories: recursion theory without elements

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 Q3752374)