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.


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.MATHGoogle 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.MATHCrossRefMathSciNetGoogle 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.MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    D.S. Bridges, ‘Product a-frames and proximity’, Math. Logic Quarterly 54(1), 12–25, 2008.MATHCrossRefMathSciNetGoogle 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.MATHCrossRefGoogle 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.MATHCrossRefGoogle 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.MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    R.J. Grayson, ‘Concepts of general topology in constructive mathematics and in sheaves I’, Ann. Math. Logic 20, 1–41, 1981.MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    R.J. Grayson, ‘Concepts of general topology in constructive mathematics and in sheaves II’, Ann. Math. Logic 23, 55–98, 1982.MATHCrossRefMathSciNetGoogle 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.MATHCrossRefMathSciNetGoogle 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.MATHCrossRefGoogle Scholar
  23. 23.
    L.S. Vîţă, ‘Proximal and uniform convergence on apartness spaces’, Math. Logic Quarterly, 49(3), 255–259, 2003.MATHCrossRefGoogle 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