Journey into Apartness Space

  • Douglas Bridges
  • Luminiţa Simona Víţă
Part of the Synthese Library book series (SYLI, volume 341)


We present some of the fundamental notions and results in the axiomatic theory of apartness spaces, a constructive approach to topology. The paper begins with apartness between sets, and between points and sets, and ends with very recent work on the theory of apartness on frames.


Topological Space Uniform Convergence Intuitionistic Logic Uniform Structure Uniform Space 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P. Aczel and M. Rathjen, Notes on Constructive Set Theory, Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences, 2001.Google Scholar
  2. 2.
    E.A. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.zbMATHGoogle Scholar
  3. 3.
    D.S. Bridges and L.S. Vîţă, ‘Apartness spaces as a framework for constructive topology’, Ann. Pure Appl. Logic. 119 (1–3), 61–83, 2003.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    D.S. Bridges and L.S. Vîţă, ‘A general constructive proof technique’, Elec. Notes in Theoretical Comp. Sci. 120, 31–43, 2005.CrossRefGoogle Scholar
  5. 5.
    D.S. Bridges and L.S. Vîţă, ‘Pre-apartness structures on spaces of functions’, J. Complexity 22, 881–893, 2006.zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    D.S. Bridges, ‘Product a-frames and proximity’, Math. Logic Quarterly 54(1), 12–25, 2008.zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    D.S. Bridges and L.S. Vîţă, Apartness Spaces, research monograph, in preparation.Google Scholar
  8. 8.
    D.S. Bridges, H. Ishihara, P.M. Schuster, and L.S. Vîţă, ‘Strong continuity implies uniform sequential continuity’, Archive for Math. Logic 44(7), 887–895, 2005.zbMATHCrossRefGoogle Scholar
  9. 9.
    D.S. Bridges, H. Ishihara, P.M. Schuster, and L.S. Vîţă, ‘Apartness, compactness and nearness’, Theoretical Comp. Sci. 405, 3–10, 2008.zbMATHCrossRefGoogle Scholar
  10. 10.
    P. Cameron, J.G. Hocking, and S.A. Naimpally, ‘Nearness—a better approach to continuity and limits’, Amer. Math. Monthly, Sept. 1974, 739–745.Google Scholar
  11. 11.
    G. Curi, ‘Notes on ‘Apartness Spaces as Formal Spaces”, preprint, Università di Padova, Padova.Google Scholar
  12. 12.
    H. Diener, ‘Generalising compactness’, Math. Logic Quarterly 54(1), 49–57, 2008.zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    R.J. Grayson, ‘Concepts of general topology in constructive mathematics and in sheaves I’, Ann. Math. Logic 20, 1–41, 1981.zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    R.J. Grayson, ‘Concepts of general topology in constructive mathematics and in sheaves II’, Ann. Math. Logic 23, 55–98, 1982.zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    R. Milošević, D.A. Romano, and M. Vinčić, ‘A basic separation on a set with apartness’, Publikacije Elektr. Fakult. Univ. u Beogradu 8, 37-43, 1997.Google Scholar
  16. 16.
    L.J. Nachman, Weak and Strong Constructions in Proximity Spaces, Ph.D. dissertation, The Ohio State University, 1968.Google Scholar
  17. 17.
    S.A. Naimpally and B.D. Warrack, Proximity Spaces, Cambridge Tracts in Math. and Math. Phys. 59, Cambridge at the University Press, 1970.Google Scholar
  18. 18.
    E. Palmgren and P.M. Schuster, ‘Apartness and formal topology’, New Zealand J. Math. 34, 1–8, 2005.MathSciNetGoogle Scholar
  19. 19.
    G. Sambin, ‘Intuitionistic formal spaces—a first communication’, in: Mathematical Logic and its Applications (D. Skordev, ed.), 187–204, Plenum Press, New York, 1987.Google Scholar
  20. 20.
    G. Sambin, ‘Some points in formal topology’, Theoretical Computer Science 305, 347–408, 2003.zbMATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    J. Stell, ‘Boolean connection algebra: a new approach to the region connection calculus’, Artificial Intell. 122, 111–136, 2002.CrossRefMathSciNetGoogle Scholar
  22. 22.
    L.S. Vîţă, ‘On proximal convergence in uniform spaces’, Math Logic Quarterly, 49(6), 550–552, 2003.zbMATHCrossRefGoogle Scholar
  23. 23.
    L.S. Vîţă, ‘Proximal and uniform convergence on apartness spaces’, Math. Logic Quarterly, 49(3), 255–259, 2003.zbMATHCrossRefGoogle Scholar
  24. 24.
    F. Waaldijk, Modern Intuitionistic Topology, Ph.D. thesis, University of Nijmegen, Netherlands, 1996.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Douglas Bridges
    • 1
  • Luminiţa Simona Víţă
  1. 1.Department of Mathematics & StatisticsUniversity of CanterburyPrivate Bag 4800New Zealand

Personalised recommendations