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

DOI10.1007/978-3-319-55911-7_35zbMATH Open1459.03093OpenAlexW2598029915MaRDI QIDQ2988845FDOQ2988845

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Techniques of constructive analysis
• Limit spaces with approximations
• Experiments on an internal approach to typed algorithms in analysis
• Banach spaces as data types
• Higher-order computability
• Internal Density Theorems for Hierarchies of Continuous Functionals
• Title not available (Why is that?)
• The continuous functionals as limit spaces
• Title not available (Why is that?)
• A rich hierarchy of functionals of finite types

Cited In (3)

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

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)