Limit spaces with approximations

DOI10.1016/j.apal.2016.04.013zbMath1432.03083OpenAlexW2344208101MaRDI QIDQ290635

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 mathematicsdensity theoremcomputability theory at higher typeslimit spaces

Mathematics Subject Classification ID

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

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursion on the countable functionals
• Banach Spaces as Data Types
• Proofs and Computations
• Convergence du type L
• Internal Density Theorems for Hierarchies of Continuous Functionals
• Constructive Mathematics in Theory and Programming Practice
• Topological and limit-space subcategories of countably-based equilogical spaces
• On Sequential Convergence

This page was built for publication: Limit spaces with approximations