Skip to main content
SpringerLink
Log in

Almost locatedness in uniform spaces

  • Published:
Czechoslovak Mathematical Journal Aims and scope Submit manuscript

Abstract

A weak form of the constructively important notion of locatedness is lifted from the context of a metric space to that of a uniform space. Certain fundamental results about almost located and totally bounded sets are then proved.

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.

Institutional subscriptions

Similar content being viewed by others

References

  1. Errett Bishop: Foundations of constructive analysis. McGraw-Hill, 1967.

  2. Errett Bishop and Douglas Bridges: Constructive Analysis. Grundlehren der math. Wissenschaften Bd. 279, Springer, Heidelberg, 1985.

    MATH  Google Scholar 

  3. Douglas Bridges and Luminiţa Dediu Vîţa: Constructive notes on uniform and locally convex spaces. Proceedings of 12th International Symposium, FCT’99, Iaşi, Romania, Springer Lecture Notes in Computer Science 1684 (1999), 195–203.

  4. Douglas Bridges and Fred Richman: Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes 97, Cambridge University Press, London, 1987.

    MATH  Google Scholar 

  5. Douglas Bridges and Luminiţa Vîţa: Cauchy nets in the constructive theory of apartness spaces. Scientiae Math. Japonicae 56 (2001), 123–132.

    Google Scholar 

  6. Douglas Bridges, Peter Schuster and Luminiţa Vîţa: Apartness, topology, and uniformity: a constructive view in Computability and Complexity in Analysis (Proc. Dagstuhl Seminar 01461, 11–16 November 2001, V. Brattka, P. Hertling, M. Yasugi eds.). Math. Log. Quart. 48 (2002), Suppl. 1, 16–28.

  7. Nicolas Bourbaki: General Topology (Part 1). Addison-Wesley, Reading, MA, 1966.

    Google Scholar 

  8. Robin J. Grayson: Concepts of general topology in constructive mathematics and in sheaves, II. Ann. Math. Logic 23 (1982), 55–98.

    Article  MATH  MathSciNet  Google Scholar 

  9. Peter Schuster, Douglas Bridges and Luminiţa Vîţa: Apartness as a relation between subsets. Combinatorics, Computability and Logic (Proceedings of DMTCS’01, Constanţa, Romania, 2–6 July 2001) (C. S. Calude, M. J. Dinneen, S. Sburlan, eds.). DMTCS Series 17, Springer-Verlag, London, 2001, pp. 203–214.

    Google Scholar 

  10. Anne S. Troelstra: Intuitionistic General Topology. PhD. Thesis, University of Amsterdam, 1966.

  11. Anne S. Troelstra and Dirk van Dalen: Constructivism in Mathematics. Studies in Mathematical Logic and the Foundations of Mathematics, 121 and 123, North-Holland, Amsterdam, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Douglas Bridges & Luminiţa Vîţa

  2. School of Information Science, Japan Advanced Institute of Science and Technology, Nomi, Ishihikawa, 923-12, Japan

    Hajime Ishihara

  3. Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM, 88003, USA

    Ray Mines

  4. Department of Mathematics, Florida Atlantic University, Boca Raton, FL, 33431, USA

    Fred Richman & Peter Schuster

Authors
  1. Douglas Bridges
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hajime Ishihara
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ray Mines
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fred Richman
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Peter Schuster
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Luminiţa Vîţa
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bridges, D., Ishihara, H., Mines, R. et al. Almost locatedness in uniform spaces. Czech Math J 57, 1–12 (2007). https://doi.org/10.1007/s10587-007-0039-7

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10587-007-0039-7

Keywords

Search

Navigation