Abstract
AbstractLet 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have