Hierarchies of total functionals over the reals

DOI10.1016/J.TCS.2004.01.028MaRDI QIDQ1434355zbMATH OpenOpenAlexFDO

Authors Dag Normann

Publication date 4 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.01.028

zbMATH Keywords

functionals of finite types over the realshierarchies

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Higher-type and set recursion theory (03D65)

Recommendations

• Comparing hierarchies of total functionals
• scientific article; zbMATH DE number 1531372
• Internal Density Theorems for Hierarchies of Continuous Functionals
• scientific article; zbMATH DE number 841092
• A transfinite hierarchy of reals

Cites work

• A nonstandard characterisation of the type-structure of continuous functionals over the reals
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Abstract versus concrete computation on metric partial algebras
• An abstract data type for real numbers
• Extended admissibility.
• scientific article; zbMATH DE number 1333613 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1531372 (Why is no real title available?)
• scientific article; zbMATH DE number 1746044 (Why is no real title available?)
• scientific article; zbMATH DE number 1390018 (Why is no real title available?)
• PCF extended with real numbers
• Real number computability and domain theory

Cited in

(6)

• Exact real number computations relative to hereditarily total functionals.
• A rich hierarchy of functionals of finite types
• scientific article; zbMATH DE number 1531372 (Why is no real title available?)
• scientific article; zbMATH DE number 2086646 (Why is no real title available?)
• scientific article; zbMATH DE number 873331 (Why is no real title available?)
• Comparing hierarchies of total functionals

This page was built for publication: Hierarchies of total functionals over the reals

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