Order:
  1.  32
    Quasi-apartness and neighbourhood spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.
    We extend the concept of apartness spaces to the concept of quasi-apartness spaces. We show that there is an adjunction between the category of quasi-apartness spaces and the category of neighbourhood spaces, which indicates that quasi-apartness is a more natural concept than apartness. We also show that there is an adjoint equivalence between the category of apartness spaces and the category of Grayson’s separated spaces.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  18
    Stabilité en Théorie des Modèles.Daniel Lascar, Ray Mines, Fred Richman & Wim Ruitenburg - 1990 - Journal of Symbolic Logic 55 (2):883-886.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  26
    A Constructive Treatment of Open and Unopen Mapping Theorems.Douglas Bridges, William Julian & Ray Mines - 1989 - Mathematical Logic Quarterly 35 (1):29-43.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  35
    A Constructive Treatment of Open and Unopen Mapping Theorems.Douglas Bridges, William Julian & Ray Mines - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):29-43.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  26
    Sequentially continuous linear mappings in constructive analysis.Douglas Bridges & Ray Mines - 1998 - Journal of Symbolic Logic 63 (2):579-583.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Sequentially Continuous Linear Mappings in Constructive Analysis.Douglas Bridges & Ray Mines - 1998 - Journal of Symbolic Logic 63 (2):579-583.
     
    Export citation  
     
    Bookmark   1 citation