A density theorem for hierarchies of limit spaces over separable metric spaces

DOI10.1007/978-3-319-55911-7_35MaRDI QIDQ2988845zbMATH OpenOpenAlexFDO

Authors Iosif Petrakis

Publication date 19 May 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-55911-7_35

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60)

Recommendations

• Limit spaces with approximations
• Internal Density Theorems for Hierarchies of Continuous Functionals
• Experiments on an internal approach to typed algorithms in analysis
• A rich hierarchy of functionals of finite types
• scientific article; zbMATH DE number 5622689

Cites work

• scientific article; zbMATH DE number 3916254 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3335898 (Why is no real title available?)
• A rich hierarchy of functionals of finite types
• Banach spaces as data types
• Experiments on an internal approach to typed algorithms in analysis
• Higher-order computability
• Internal Density Theorems for Hierarchies of Continuous Functionals
• Limit spaces with approximations
• Techniques of constructive analysis
• The continuous functionals as limit spaces

Cited in

(3)

• Internal Density Theorems for Hierarchies of Continuous Functionals
• Limit spaces with approximations
• Experiments on an internal approach to typed algorithms in analysis

This page was built for publication: A density theorem for hierarchies of limit spaces over separable metric spaces

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