On the computability of the fan functional

DOI10.1007/978-3-319-63334-3_3MaRDI QIDQ5214781zbMATH OpenOpenAlexFDO

Authors Dag Normann, W. W. Tait

Publication date 5 February 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63334-3_3

zbMATH Keywords

fan functionalKleene computablerecursively countable

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• The countably based functionals
• Computing with Functionals—Computability Theory or Computer Science?
• On the Definition of Computable Function of a Real Variable
• The continuous functionals as limit spaces
• A Banach-Mazur computable but not Markov computable function on the computable real numbers

Cites work

• Higher-order computability
• scientific article; zbMATH DE number 3163761 (Why is no real title available?)
• scientific article; zbMATH DE number 3655922 (Why is no real title available?)
• scientific article; zbMATH DE number 47172 (Why is no real title available?)
• scientific article; zbMATH DE number 3568670 (Why is no real title available?)
• scientific article; zbMATH DE number 1390018 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
• Intensional interpretations of functionals of finite type I
• Recursion on the countable functionals
• Recursive Functionals and Quantifiers of Finite Types I
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(6)

• The countably based functionals
• Fans are not c-determined
• The non-normal abyss in Kleene's computability theory
• Exploring the abyss in Kleene's computability theory
• On some computational properties of open sets
• Sometimes tame, sometimes wild: weak continuity

This page was built for publication: On the computability of the fan functional

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