scientific article; zbMATH DE number 3979049

zbMATH Open0606.03011MaRDI QIDQ3744154FDOQ3744154

Authors: Giuseppe Rosolini 

Publication date: 1985

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

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

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)

Cited In (13)

• Topical categories of domains
• Title not available (Why is that?)
• 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)