Pages that link to "Item:Q3211292"
From MaRDI portal
The following pages link to An existence theorem for recursion categories (Q3211292):
Displaying 11 items.
- The category-theoretic solution of recursive metric-space equations (Q604478) (← links)
- Introduction to Turing categories (Q998306) (← links)
- More existence theorems for recursion categories. (Q1428035) (← links)
- Renormalisation and computation. II: Time cut-off and the halting problem (Q2919937) (← links)
- (Q3720582) (← links)
- Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic. (Q3984439) (← links)
- A relativization mechanism in recursion categories (Q4283065) (← links)
- An algebraic approach to categories of partial morphisms (Q4532605) (← links)
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (Q4650304) (← links)
- A note on recursive functions (Q4882495) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)