11 found
Sort by:
  1. Robin Havea, Hajime Ishihara & Luminita Vîta (2008). Separation Properties in Neighbourhood and Quasi-Apartness Spaces. Mathematical Logic Quarterly 54 (1):58-64.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă (2006). Quasi-Apartness and Neighbourhood Spaces. Annals of Pure and Applied Logic 141 (1):296-306.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Luminiţa Simona Vîţă (2006). Extending Strongly Continuous Functions Between Apartness Spaces. Archive for Mathematical Logic 45 (3):351-356.
    A natural extension theorem for strongly continuous mappings, the morphisms in the category of apartness spaces, is proved constructively.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Douglas Bridges, Hajime Ishihara, Peter Schuster & Luminiţa Vîţa (2005). Strong Continuity Implies Uniform Sequential Continuity. Archive for Mathematical Logic 44 (7):887-895.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Douglas Bridges & Luminiţa Vîţă (2004). Corrigendum to "a Proof-Technique in Uniform Space Theory". Journal of Symbolic Logic 69 (1):328-328.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Douglas Bridges & Luminiţa Vîţă (2003). A Proof-Technique in Uniform Space Theory. Journal of Symbolic Logic 68 (3):795-802.
    In the constructive theory of uniform spaces there occurs a technique of proof in which the application of a weak form of the law of excluded middle is circumvented by purely analytic means. The essence of this proof-technique is extracted and then applied in several different situations.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Luminita Simona Vîta (2003). On Proximal Convergence in Uniform Spaces. Mathematical Logic Quarterly 49 (6):550.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Luminita Simona Vîta (2003). Proximal and Uniform Convergence on Apartness Spaces. Mathematical Logic Quarterly 49 (3):255.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Douglas Bridges, Peter Schuster & Luminiţa Vîţă (2002). Apartness, Topology, and Uniformity: A Constructive View. Mathematical Logic Quarterly 48 (S1):16-28.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Luminita Simona Vîta, D. Bridges & P. Schuster (2002). Apartness, Topology, and Uniformity: A Constructive View: A Constructive View. Mathematical Logic Quarterly 48:16-28.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. D. Bridges & Luminita Simona Vîta (2001). Characterising Near Continuity Constructively. Mathematical Logic Quarterly 47 (4):535-538.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation