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 (2 more)  
     
    Export citation  
     
    Bookmark  
  • Compactness, Colocatedness, Measurability and ED.Mohammad Ardeshir & Zahra Ghafouri - 2018 - Logic Journal of the IGPL 26 (2):244-254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The Principle of Open Induction and Specker Sequences.Mohammad Ardeshir & Zahra Ghafouri - 2017 - Logic Journal of the IGPL 25 (2):232-238.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Double Negation of the Intermediate Value Theorem.Mohammad Ardeshir & Rasoul Ramezanian - 2010 - Annals of Pure and Applied Logic 161 (6):737-744.
    In the context of intuitionistic analysis, we consider the set consisting of all continuous functions from [0,1] to such that =0 and =1, and the set consisting of ’s in where there exists x[0,1] such that . It is well-known that there are weak counterexamples to the intermediate value theorem, and with Brouwer’s continuity principle we have . However, there exists no satisfying answer to . We try to answer to this question by reducing it to a schema about intuitionistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation