Axiomatic recursion theory and the continuous functionals

DOI10.2307/2274232MaRDI QIDQ3717039zbMATH OpenOpenAlexFDO

Authors

Publication date 1985

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

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

zbMATH Keywords

countable recursionhigher type computation theoryKleene computations

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• Recursion on the partial continuous functionals
• General recursion theory. An axiomatic approach
• A foundation for real recursive function theory
• scientific article; zbMATH DE number 3993543
• Axiomatic theory of partial continuous functions and the Peano curve
• An axiomatic theory for partial functions
• Functional analytic axioms and set theory
• Provably recursive functions of constructive and relatively constructive theories
• Functionals defined by transfinite recursion
• Relatively recursive reals and real functions

Cites work

• scientific article; zbMATH DE number 3685474 (Why is no real title available?)
• Recursion on the countable functionals
• The continuous functionals; computations, recursions and degrees

Cited in

(17)

• Type 2 recursion theory
• Recursive functionals
• Closing the gap between the continuous functionals and recursion in \(^3E\)
• Axiomatization and the antimean function on paths
• scientific article; zbMATH DE number 3873292 (Why is no real title available?)
• scientific article; zbMATH DE number 3916254 (Why is no real title available?)
• Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal
• scientific article; zbMATH DE number 3946115 (Why is no real title available?)
• The hereditary partial effective functionals and recursion theory in higher types
• scientific article; zbMATH DE number 4037847 (Why is no real title available?)
• Recursive Functionals and Quantifiers of Finite Types Revisited, V
• Unconventional algorithms: complementarity of axiomatics and construction
• scientific article; zbMATH DE number 1984266 (Why is no real title available?)
• scientific article; zbMATH DE number 873331 (Why is no real title available?)
• A sound and complete axiomatization of delimited continuations
• General recursion theory. An axiomatic approach
• Recursion on the partial continuous functionals

This page was built for publication: Axiomatic recursion theory and the continuous functionals

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