scientific article; zbMATH DE number 3989334

zbMATH Open0612.03020MaRDI QIDQ3752374FDOQ3752374

Authors: Robert A. Di Paola 

Publication date: 1985

Title of this publication is not available (Why is that?)

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.

Mathematics Subject Classification ID

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

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)