Feasibly continuous type-two functionals

DOI10.1007/S000370050027MaRDI QIDQ1961060zbMATH OpenOpenAlexFDO

Authors Bruce M. Kapron

Publication date 30 March 2000

Published in Computational Complexity (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s000370050027

zbMATH Keywords

type-two recursion theory

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Descriptive set theory (03E15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• Publication:4938550
• scientific article; zbMATH DE number 1390018
• scientific article; zbMATH DE number 1670478
• scientific article; zbMATH DE number 1531372
• scientific article; zbMATH DE number 1064215
• Resource-bounded continuity and sequentiality for type-two functionals
• scientific article; zbMATH DE number 3946115
• A new type continuity for real functions
• Characterizing the continuous functionals
• scientific article; zbMATH DE number 5872087

Cited in

(7)

• On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis
• scientific article; zbMATH DE number 3878916 (Why is no real title available?)
• scientific article; zbMATH DE number 3946115 (Why is no real title available?)
• scientific article; zbMATH DE number 1735623 (Why is no real title available?)
• scientific article; zbMATH DE number 1984266 (Why is no real title available?)
• Resource-bounded continuity and sequentiality for type-two functionals
• On the topological aspects of the theory of represented spaces

This page was built for publication: Feasibly continuous type-two functionals

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