L’universalité des semi-fonctions récursives universelles. (French) Zbl 0564.18002

Diagrammes 12, M 1-M 12 (1984).
This is the first part of a paper (the second of which is to appear in Cah. Topologie Géom. Différ.) that gives a category theory version of higher-order recursion à la Friedman-Kechris-Moschovakis, using all along discrete indexed categories as its main conceptual tool.
Reviewer: M.Eytan


18A15 Foundations, relations to logic and deductive systems
03D75 Abstract and axiomatic computability and recursion theory
18D30 Fibered categories
03G30 Categorical logic, topoi
Full Text: EuDML