Almost locatedness in uniform spaces
Douglas Bridges; Hajime Ishihara; Ray Mines; Fred Richman; Peter Schuster; Luminiţa Vîţă
Czechoslovak Mathematical Journal (2007)
- Volume: 57, Issue: 1, page 1-12
- ISSN: 0011-4642
Access Full Article
top
Abstract
topHow to cite
topBridges, Douglas, et al. "Almost locatedness in uniform spaces." Czechoslovak Mathematical Journal 57.1 (2007): 1-12. <http://eudml.org/doc/31108>.
@article{Bridges2007,
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.},
author = {Bridges, Douglas, Ishihara, Hajime, Mines, Ray, Richman, Fred, Schuster, Peter, Vîţă, Luminiţa},
journal = {Czechoslovak Mathematical Journal},
keywords = {uniform structure; located; constructive; uniform structure; locatedness; constructive topology; constructive mathematics},
language = {eng},
number = {1},
pages = {1-12},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {Almost locatedness in uniform spaces},
url = {http://eudml.org/doc/31108},
volume = {57},
year = {2007},
}
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
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 57
IS - 1
SP - 1
EP - 12
AB - 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.
LA - eng
KW - uniform structure; located; constructive; uniform structure; locatedness; constructive topology; constructive mathematics
UR - http://eudml.org/doc/31108
ER -
References
top- Foundations of constructive analysis, McGraw-Hill, 1967. (1967) MR0221878
- Constructive Analysis, Grundlehren der math. Wissenschaften Bd. 279, Springer, Heidelberg, 1985. (1985) MR0804042
- 10.1007/3-540-48321-7_15, Proceedings of 12th International Symposium, FCT’99, Iaşi, Romania, Springer Lecture Notes in Computer Science 1684 (1999), 195–203. (1999) MR1850231DOI10.1007/3-540-48321-7_15
- Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes 97, Cambridge University Press, London, 1987. (1987) MR0890955
- Cauchy nets in the constructive theory of apartness spaces, Scientiae Math. Japonicae 56 (2001), 123–132. (2001) MR1911838
- 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. (2002) MR1948052
- General Topology (Part 1), Addison-Wesley, Reading, MA, 1966. (1966)
- 10.1016/0003-4843(82)90010-9, Ann. Math. Logic 23 (1982), 55–98. (1982) MR0674673DOI10.1016/0003-4843(82)90010-9
- 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. (2001) MR1934832
- Intuitionistic General Topology, PhD. Thesis, University of Amsterdam, 1966. (1966) MR0285356
- Constructivism in Mathematics, Studies in Mathematical Logic and the Foundations of Mathematics, 121 and 123, North-Holland, Amsterdam, 1988. (1988)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.