More existence theorems for recursion categories.
From MaRDI portal
Publication:1428035
DOI10.1016/S0168-0072(03)00060-5zbMath1049.03033MaRDI QIDQ1428035
Publication date: 14 March 2004
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
03G30: Categorical logic, topoi
18B99: Special categories
03D75: Abstract and axiomatic computability and recursion theory
18A15: Foundations, relations to logic and deductive systems
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- ``Pathologies in two syntactic categories of partial maps
- Universal coalgebra: A theory of systems
- Products of coalgebras.
- An existence theorem for recursion categories
- Dominical categories: recursion theory without elements
- Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
- An algebraic approach to categories of partial morphisms
- Coalgebras of bounded type
- On the structure of categories of coalgebras
- Functors for coalgebras