Skip to main content
SpringerLink
Log in

Compactness notions for an apartness space

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

Two new notions of compactness, each classically equivalent to the standard classical one of sequential compactness, for apartness spaces are examined within Bishop-style constructive mathematics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Aczel, P., Rathjen, M.J.: Constructive Set Theory (forthcoming)

  2. Beeson M.J.: Foundations of Constructive Mathematics. Springer, Heidelberg (1985)

    MATH  Google Scholar 

  3. Bishop E.A.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)

    MATH  Google Scholar 

  4. Bishop E.A., Bridges D.S.: Constructive Analysis. Springer, Heidelberg (1985) (Grundlehren der Math. Wissenschaften 279)

    Book  MATH  Google Scholar 

  5. Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. London Mathematical Society. Lecture Notes, vol. 97. Cambridge University Press, Cambridge (1987)

  6. Bridges D.S., Vîţă L.S.: Techniques of Constructive Analysis, Universitext. Springer, New York (2006)

    Google Scholar 

  7. Bridges, D.S., Vîţă, L.S.: Apartness and uniformity—a constructive development. In: CiE Series on Theory and Applications of Computability. Springer, Heidelberg (2011)

  8. Diener H.: Generalising compactness. Math. Logic Q. 51(1), 49–57 (2008)

    MathSciNet  Google Scholar 

  9. Dummett M.A.E.: Elements of Intuitionism. 2nd edn. Clarendon Press, Oxford (2000) (Oxford Logic Guides 39)

    MATH  Google Scholar 

  10. Kushner, B.A.: Lectures on Constructive Mathematical Analysis. American Mathematical Society, Providence, RI (1985)

  11. Martin-Löf P.: An intuitionistic theory of types. In: Sambin, G., Smith, J. (eds) Twenty-five Years of Constructive Type Theory, pp. 127–172. Clarendon Press, Oxford (1998) (Oxford Logic Guides 36)

    Google Scholar 

  12. Myhill J.: Constructive set theory. J. Symb. Logic 40(3), 347–382 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  13. Naimpally, S.A., Warrack, B.D.: Proximity Spaces. Cambridge University Press, Cambridge (1970) (Cambridge Tracts in Math. and Math. Phys. 59)

  14. Steinke, T.A.: Constructive Notions of Compactness in Apartness Spaces. M.Sc. thesis, University of Canterbury, Christchurch (2011)

  15. Troelstra A.S., Dalen D.: Constructivism in Mathematics: An Introduction (Two Volumes). North Holland, Amsterdam (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch, 8140, New Zealand

    Douglas S. Bridges

Authors
  1. Douglas S. Bridges
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Douglas S. Bridges.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bridges, D.S. Compactness notions for an apartness space. Arch. Math. Logic 51, 517–534 (2012). https://doi.org/10.1007/s00153-012-0279-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-012-0279-6

Keywords

Mathematical Subject Classification

Search

Navigation