Complements of Intersections in Constructive Mathematics

DOI10.1002/MALQ.19940400106MaRDI QIDQ4304147zbMATH OpenOpenAlexFDO

Authors Douglas Bridges, Hajime Ishihara

Publication date 8 September 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19940400106

zbMATH Keywords

metric spacesconstructive mathematicsMarkov's principlenormed linear spaces

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Other constructive mathematics (03F65) Constructive functional analysis (46S30)

Recommendations

• Constructive complements of unions of two closed sets
• Markov's principle, Church's thesis and Lindelöf's theorem
• On a continuity theorem for constructive functions
• On the constructive notion of closure maps

Cited in

(3)

• scientific article; zbMATH DE number 66762 (Why is no real title available?)
• Glueing continuous functions constructively
• Constructive complements of unions of two closed sets

This page was built for publication: Complements of Intersections in Constructive Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4304147)