Reflections on function spaces

DOI10.1016/j.apal.2011.06.018zbMath1251.03093MaRDI QIDQ651312

Douglas S. Bridges

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

zbMATH Keywords

continuous function; function space; apartness; constructive topology; anti-Specker property

Mathematics Subject Classification ID

54C35: Function spaces in general topology

54E05: Proximity structures and generalizations

03F65: Other constructive mathematics

Related Items

Formally continuous functions on Baire space, The Urysohn Extension Theorem for Bishop Spaces, A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces, Completely Regular Bishop Spaces

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