On the constructive notion of closure maps

DOI10.1002/MALQ.201110040MaRDI QIDQ2910990zbMATH OpenOpenAlexFDO

Authors Mohammad Ardeshir, Rasoul Ramezanian

Publication date 12 September 2012

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

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

zbMATH Keywords

closure mapsconstructive reverse mathematicsfan theorem

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• Constructive complements of unions of two closed sets
• A Constructive Treatment of Open and Unopen Mapping Theorems
• A constructive Galois connection between closure and interior
• scientific article; zbMATH DE number 1665440
• scientific article; zbMATH DE number 2247263

Cites work

• A constructive treatment of Urysohn's Lemma in an apartness space
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• An interpretation of intuitionistic analysis
• Constructive notions of equicontinuity
• Constructivism in mathematics. An introduction. Volume I
• Decidability and Specker sequences in intuitionistic mathematics
• Glueing continuous functions constructively
• scientific article; zbMATH DE number 5200731 (Why is no real title available?)
• Rearranging series constructively
• Sequences of real functions on [0,1] in constructive reverse mathematics
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• The double negation of the intermediate value theorem

Cited in

(6)

• Retracing Cantor's first steps in Brouwer's company
• Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics
• Complements of Intersections in Constructive Mathematics
• Constructive complements of unions of two closed sets
• scientific article; zbMATH DE number 3808405 (Why is no real title available?)
• Closure maps on regular trisps

This page was built for publication: On the constructive notion of closure maps

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