Switch to: References

Add citations

You must login to add citations.
  1. On the Constructive Notion of Closure Maps.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Mathematical Logic Quarterly 58 (4-5):348-355.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Apartness Spaces and Uniform Neighbourhood Structures.Douglas S. Bridges - 2016 - Annals of Pure and Applied Logic 167 (9):850-864.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark