Axiomatic recursion theory and the continuous functionals

DOI10.2307/2274232zbMath0589.03031OpenAlexW2140464515MaRDI QIDQ3717039

No author found.

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)

Related Items (1)

Unconventional algorithms: complementarity of axiomatics and construction

Cites Work

• Unnamed Item
• Recursion on the countable functionals
• The continuous functionals; computations, recursions and degrees

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