On the constructive notion of closure maps

Mathematical Logic Quarterly 58 (4-5):348-355 (2012)

Let A be a subset of the constructive real line. What are the necessary and sufficient conditions for the set A such that A is continuously separated from other reals, i.e., there exists a continuous function f with f−1 = A? In this paper, we study the notions of closed sets and closure maps in constructive reverse mathematics
Keywords closure maps  fan theorem.  Constructive reverse mathematics
Categories (categorize this paper)
DOI 10.1002/malq.201110040
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,992
Through your library

References found in this work BETA

An Interpretation of Intuitionistic Analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1-43.
Constructive Notions of Equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
Glueing Continuous Functions Constructively.Douglas S. Bridges & Iris Loeb - 2010 - Archive for Mathematical Logic 49 (5):603-616.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
15 ( #468,436 of 2,319,691 )

Recent downloads (6 months)
3 ( #446,517 of 2,319,691 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature