scientific article; zbMATH DE number 3979049

MaRDI QIDQ3744154zbMATH OpenFDO

Authors Giuseppe Rosolini

Publication date 1985

zbMATH Keywords

representation theorempointed categorypartial mapsdominical categoryTuring morphismrecursion categoryalgebraic abstraction of recursion theorymonoid of partial recursive functions

Mathematics Subject Classification ID

Topoi (18B25) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

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

Cited in

(13)

• Topical categories of domains
• scientific article; zbMATH DE number 3950510 (Why is no real title available?)
• Total maps of Turing categories
• Creativeness and completeness in recursion categories of partial recursive operators
• A characterization of generalized existential completions
• Categorial generalization of algebraic recursion theory
• Restriction categories. I: Categories of partial maps
• Introduction to Turing categories
• More existence theorems for recursion categories.
• REDUCIBILITY IN SOME CATEGORIES OF PARTIAL RECURSIVE OPERATORS
• Partial recursive functions and finality
• Dominical categories: recursion theory without elements
• Primitive recursion, equality, and a universal set

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