Complements of Intersections in Constructive Mathematics

DOI10.1002/MALQ.19940400106zbMATH Open0813.03043OpenAlexW2138733436MaRDI QIDQ4304147FDOQ4304147

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• 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)