Recursive Functionals and Quantifiers of Finite Types Revisited, V

DOI10.2307/2001641MaRDI QIDQ3978437zbMATH OpenOpenAlexFDO

Authors Stephen Cole Kleene

Publication date 25 June 1992

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

computationcomputable functionalsoracleshigher type recursion theoryrecursion in higher type functionals

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• scientific article; zbMATH DE number 3912368
• scientific article; zbMATH DE number 3983152
• Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal
• The hereditary partial effective functionals and recursion theory in higher types
• Axiomatic recursion theory and the continuous functionals

Cited in

(15)

• The hereditary partial effective functionals and recursion theory in higher types
• A game-semantic model of computation
• scientific article; zbMATH DE number 1390026 (Why is no real title available?)
• scientific article; zbMATH DE number 3310899 (Why is no real title available?)
• Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal
• scientific article; zbMATH DE number 3912368 (Why is no real title available?)
• Computational foundations of basic recursive function theory
• Recursion on generalized computable ordinals
• scientific article; zbMATH DE number 3983152 (Why is no real title available?)
• Recursive functionals
• Closed machine-oracle model of the arithmetic of transfinite types
• scientific article; zbMATH DE number 3914307 (Why is no real title available?)
• scientific article; zbMATH DE number 4079399 (Why is no real title available?)
• scientific article; zbMATH DE number 4118355 (Why is no real title available?)
• Recursion in Kolmogorov's R-operator and the ordinal σ₃

This page was built for publication: Recursive Functionals and Quantifiers of Finite Types Revisited, V

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