More existence theorems for recursion categories.
From MaRDI portal
(Redirected from Publication:1428035)
Recommendations
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
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)