scientific article; zbMATH DE number 1390018

MaRDI QIDQ4934283zbMATH OpenFDO

Authors Dag Normann

Publication date 22 July 2001

zbMATH Keywords

continuous functionalfunctional interpretation of analysis

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-type and set recursion theory (03D65) Metamathematics of constructive systems (03F50)

Cited in

(14)

• Exact functionals and their core
• Hierarchies of total functionals over the reals
• Exact real number computations relative to hereditarily total functionals.
• Feasibly continuous type-two functionals
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
• Spaces of continuous functions
• The computational power of \({\mathcal M}^\omega\)
• On Cantor's functionals
• scientific article; zbMATH DE number 97478 (Why is no real title available?)
• Nonflatness and totality
• scientific article; zbMATH DE number 854332 (Why is no real title available?)
• On the computability of the fan functional
• Some applications of simultaneous continuous functional calculus
• Realizability models refuting Ishihara's boundedness principle

This page was built for publication:

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