Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal

DOI10.1002/MALQ.19860323103zbMATH Open0589.03024OpenAlexW2050166505MaRDI QIDQ3717033FDOQ3717033

Authors: George Tourlakis 

Publication date: 1986

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860323103

Recommendations

• Recursive Functionals and Quantifiers of Finite Types Revisited, V
• Recursive functionals
• Axiomatic recursion theory and the continuous functionals
• Recursion on generalized computable ordinals
• Computational foundations of basic recursive function theory

zbMATH Keywords

clockparallelismselection theoremspartial recursive functionalsordinal comparisonKleene-computabilityKleene-schematapartial multiple valued functionals

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

This page was built for publication: Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3717033)