Limit spaces with approximations

DOI10.1016/J.APAL.2016.04.013MaRDI QIDQ290635zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

constructive mathematicscomputability theory at higher typesdensity theoremlimit spaces

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Abstract and axiomatic computability and recursion theory (03D75) Constructive and recursive analysis (03F60)

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

Cites work

• scientific article; zbMATH DE number 3916254 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1746044 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• scientific article; zbMATH DE number 3335898 (Why is no real title available?)
• Banach spaces as data types
• Constructive Mathematics in Theory and Programming Practice
• Convergence du type L
• Experiments on an internal approach to typed algorithms in analysis
• Internal Density Theorems for Hierarchies of Continuous Functionals
• On Sequential Convergence
• On the relationship between filter spaces and weak limit spaces
• Proofs and computations
• Recursion on the countable functionals
• The continuous functionals as limit spaces
• Topological and limit-space subcategories of countably-based equilogical spaces

Cited in

(4)

• Experiments on an internal approach to typed algorithms in analysis
• A density theorem for hierarchies of limit spaces over separable metric spaces
• A generalization of the limit class of approximation spaces
• Structural limits and approximations of mappings

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)