Creativeness and completeness in recursion categories of partial recursive operators

DOI10.2307/2274763zbMath0714.03041OpenAlexW2064269870MaRDI QIDQ3199409

Franco Montagna, Andrea Sorbi

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274763

zbMATH Keywords

completenessdominical categorycreativenesscategory-theoretic approach to recursion theorycreative domain relative to a criterionpartial recursive operatorsrecursion category

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (3)

A relativization mechanism in recursion categories ⋮ Lightface $$\mathop {\varPi }\nolimits _{3}^{0}$$ Π 3 0 -Completeness of Density Sets Under Effective Wadge Reducibility ⋮ Obituary: Franco Montagna (1948--2015)

Cites Work

• Creative sets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Creativeness and completeness in recursion categories of partial recursive operators