Geodesic
Almost locatedness in uniform spaces
Czechoslovak Mathematical Journal, Tome 57 (2007) no. 1, pp. 1-12 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

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.
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.
Classification : 03F60, 54E15, 54E35
Keywords: uniform structure; located; constructive 
@article{CMJ_2007_57_1_a0,
     author = {Bridges, Douglas and Ishihara, Hajime and Mines, Ray and Richman, Fred and Schuster, Peter and V{\^\i}\c{t}\u{a}, Lumini\c{t}a},
     title = {Almost locatedness in uniform spaces},
     journal = {Czechoslovak Mathematical Journal},
     pages = {1--12},
     year = {2007},
     volume = {57},
     number = {1},
     mrnumber = {2309944},
     zbl = {1174.03027},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMJ_2007_57_1_a0/}
}
TY  - JOUR
AU  - Bridges, Douglas
AU  - Ishihara, Hajime
AU  - Mines, Ray
AU  - Richman, Fred
AU  - Schuster, Peter
AU  - Vîţă, Luminiţa
TI  - Almost locatedness in uniform spaces
JO  - Czechoslovak Mathematical Journal
PY  - 2007
SP  - 1
EP  - 12
VL  - 57
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMJ_2007_57_1_a0/
LA  - en
ID  - CMJ_2007_57_1_a0
ER  - 
%0 Journal Article
%A Bridges, Douglas
%A Ishihara, Hajime
%A Mines, Ray
%A Richman, Fred
%A Schuster, Peter
%A Vîţă, Luminiţa
%T Almost locatedness in uniform spaces
%J Czechoslovak Mathematical Journal
%D 2007
%P 1-12
%V 57
%N 1
%U http://geodesic.mathdoc.fr/item/CMJ_2007_57_1_a0/
%G en
%F CMJ_2007_57_1_a0
Bridges, Douglas; Ishihara, Hajime; Mines, Ray; Richman, Fred; Schuster, Peter; Vîţă, Luminiţa. Almost locatedness in uniform spaces. Czechoslovak Mathematical Journal, Tome 57 (2007) no. 1, pp. 1-12. http://geodesic.mathdoc.fr/item/CMJ_2007_57_1_a0/

[1] Errett Bishop: Foundations of constructive analysis. McGraw-Hill, 1967. | MR

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

[3] Douglas Bridges and Luminiţa Dediu (Vîţă): 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. | DOI | MR

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

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

[6] Douglas Bridges, Peter Schuster and Luminiţa Vîţă: 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. | MR

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

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

[9] Peter Schuster, Douglas Bridges and Luminiţa Vîţă: 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. | MR

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

[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.