More existence theorems for recursion categories.

DOI10.1016/S0168-0072(03)00060-5MaRDI QIDQ1428035zbMATH OpenFDO

Authors Florian Lengyel

Publication date 14 March 2004

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

CoalgebraComputabilityTuring morphism\(P\)-categoryRecursion category

Mathematics Subject Classification ID

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

Recommendations

• Publication:5202648
• Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
• Introduction to Turing categories
• An existence theorem for recursion categories
• Publication:3744154

Cites work

• scientific article; zbMATH DE number 4101439 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1497879 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• An algebraic approach to categories of partial morphisms
• An existence theorem for recursion categories
• Coalgebras of bounded type
• Dominical categories: recursion theory without elements
• Functors for coalgebras
• On the structure of categories of coalgebras
• Products of coalgebras.
• Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
• Universal coalgebra: A theory of systems
• ``Pathologies in two syntactic categories of partial maps

Cited in

(2)

• An existence theorem for recursion categories
• Introduction to Turing categories

This page was built for publication: More existence theorems for recursion categories.

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