Reflections on function spaces
From MaRDI portal
Publication:651312
DOI10.1016/j.apal.2011.06.018zbMath1251.03093OpenAlexW2049407993MaRDI QIDQ651312
Publication date: 12 December 2011
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.2011.06.018
Function spaces in general topology (54C35) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)
Related Items (7)
The Urysohn Extension Theorem for Bishop Spaces ⋮ A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces ⋮ Direct spectra of Bishop spaces and their limits ⋮ Completely Regular Bishop Spaces ⋮ Formally continuous functions on Baire space ⋮ Closed subsets in Bishop topological groups ⋮ Functions of Baire class one over a Bishop topology
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generalized functions with pseudobounded support in constructive mathematics
- Some points in formal topology.
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
- Compactness in locales and in formal topology
- Apartness and Uniformity
- The constructive completion of the space ?(?)
- Journey into Apartness Space
- Concepts of general topology in constructive mathematics and in sheaves
- Concepts of general topology in constructive mathematics and in sheaves, II
- Axiom of Choice and Complementation
- Some Notes on Continuity in Constructive Analysis
- Choice Implies Excluded Middle
- A constructive look at the completeness of the space (ℝ)
- Proximal and uniform convergence on apartness spaces
- Product a‐frames and proximity
- Nicht konstruktiv beweisbare Sätze der Analysis
- Logical Approaches to Computational Barriers
This page was built for publication: Reflections on function spaces
