A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces

DOI10.1007/978-3-319-55911-7_35zbMath1459.03093OpenAlexW2598029915MaRDI QIDQ2988845

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) Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80)

Cites Work

• Limit spaces with approximations
• Techniques of constructive analysis
• Banach Spaces as Data Types
• A rich hierarchy of functionals of finite types
• Higher-Order Computability
• Internal Density Theorems for Hierarchies of Continuous Functionals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces