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(0) = A? In this paper, we study the notions of closed sets and closure maps in constructive reverse mathematics.

The anti-Specker property, a constructive version of sequential compactness, is used to prove constructively that a pointwise continuous, order-dense preference relation on a compact metric space is uniformly sequentially continuous. It is then shown that Ishihara's principle BD-ℕ implies that a uniformly sequentially continuous, order-dense preference relation on a separable metric space is uniformly continuous. Converses of these two theorems are also proved.

We give the natural topological model for $\neg$BD-${\mathbb N}$, and use it to show that the closure of spaces with the anti-Specker property under product does not imply BD-${\mathbb N}$. Also, the natural topological model for $\neg$BD is presented. Finally, for some of the realizability models known indirectly to falsify BD-$\mathbb{N}$, it is brought out in detail how BD-$\mathbb N$ fails.