Some Notes on Continuity in Constructive Analysis

DOI10.1112/BLMS/8.2.179zbMath0333.02028OpenAlexW2081558830MaRDI QIDQ4100071

Douglas S. Bridges

Publication date: 1976

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/blms/8.2.179

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Topological spaces and generalizations (closure spaces, etc.) (54A05) Proof theory and constructive mathematics (03F99)

Related Items (4)

Reflections on function spaces ⋮ The anti-Specker property, positivity, and total boundedness ⋮ The pseudocompactness of [0.1 is equivalent to the uniform continuity theorem] ⋮ Intuitionistic sequential compactness?

This page was built for publication: Some Notes on Continuity in Constructive Analysis