On the constructive notion of closure maps

DOI10.1002/MALQ.201110040zbMath1259.03078OpenAlexW2040777999MaRDI QIDQ2910990

Mohammad Ardeshir, Rasoul Ramezanian

Publication date: 12 September 2012

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

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

zbMATH Keywords

constructive reverse mathematicsfan theoremclosure maps

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• The double negation of the intermediate value theorem
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• Glueing continuous functions constructively
• Sequences of real functions on [0,1 in constructive reverse mathematics]
• Constructivism in mathematics. An introduction. Volume I
• Constructive notions of equicontinuity
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• A constructive treatment of Urysohn's Lemma in an apartness space
• Decidability and Specker sequences in intuitionistic mathematics
• An interpretation of intuitionistic analysis

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