More existence theorems for recursion categories.
From MaRDI portal
Publication:1428035
DOI10.1016/S0168-0072(03)00060-5zbMATH Open1049.03033MaRDI QIDQ1428035FDOQ1428035
Authors: Florian Lengyel 
Publication date: 14 March 2004
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 4195927
- 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
- scientific article; zbMATH DE number 3979049
Categorical logic, topoi (03G30) Special categories (18B99) Abstract and axiomatic computability and recursion theory (03D75) Foundations, relations to logic and deductive systems (18A15)
Cites Work
- Title not available (Why is that?)
- Universal coalgebra: A theory of systems
- Title not available (Why is that?)
- Functors for coalgebras
- Dominical categories: recursion theory without elements
- On the structure of categories of coalgebras
- Products of coalgebras.
- Title not available (Why is that?)
- Coalgebras of bounded type
- An existence theorem for recursion categories
- An algebraic approach to categories of partial morphisms
- Title not available (Why is that?)
- Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
- ``Pathologies in two syntactic categories of partial maps
Cited In (2)
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)
