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)

Review text

This paper is a contribution to the programme of constructive reverse mathematics, carried out in Bishop's constructive mathematics.NEWLINENEWLINEThe authors show that, under the assumption of certain additional intuitionistic principles, there exists no closure map such that both (1) all nontrivial open sets of \(\mathbb R\) are strictly included in their closure; and (2) the closure of a set \(A\) is the smallest functionally closed set of which \(A\) is a subset.NEWLINENEWLINEThroughout this paper, the authors introduce many additional principles that can be consistently added to Bishop's constructive mathematics, and they prove many positive and negative results on the notions of closed sets and closure maps. The negative results are obtained by way of Beth models.

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)