Limit spaces with approximations
From MaRDI portal
Publication:290635
DOI10.1016/J.APAL.2016.04.013zbMATH Open1432.03083OpenAlexW2344208101MaRDI QIDQ290635FDOQ290635
Authors: Iosif Petrakis 
Publication date: 3 June 2016
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2016.04.013
Recommendations
- A density theorem for hierarchies of limit spaces over separable metric spaces
- Internal Density Theorems for Hierarchies of Continuous Functionals
- Experiments on an internal approach to typed algorithms in analysis
- The continuous functionals as limit spaces
- scientific article; zbMATH DE number 1746044
Applications of computability and recursion theory (03D80) Abstract and axiomatic computability and recursion theory (03D75) Constructive and recursive analysis (03F60)
Cites Work
- Proofs and Computations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Recursion on the countable functionals
- Experiments on an internal approach to typed algorithms in analysis
- Banach spaces as data types
- Convergence du type L
- Internal Density Theorems for Hierarchies of Continuous Functionals
- On the relationship between filter spaces and weak limit spaces
- Title not available (Why is that?)
- Constructive Mathematics in Theory and Programming Practice
- Topological and limit-space subcategories of countably-based equilogical spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Sequential Convergence
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: Limit spaces with approximations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q290635)
