Products in the category of apartness spaces
Douglas Bridges; Hajime Ishihara; Peter Schuster; Luminita Vîţă
Cahiers de Topologie et Géométrie Différentielle Catégoriques (2005)
- Volume: 46, Issue: 2, page 139-153
- ISSN: 1245-530X
Access Full Article
topHow to cite
topBridges, Douglas, et al. "Products in the category of apartness spaces." Cahiers de Topologie et Géométrie Différentielle Catégoriques 46.2 (2005): 139-153. <http://eudml.org/doc/91693>.
@article{Bridges2005,
author = {Bridges, Douglas, Ishihara, Hajime, Schuster, Peter, Vîţă, Luminita},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {separation structure; product of apartness spaces; local decomposability},
language = {eng},
number = {2},
pages = {139-153},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Products in the category of apartness spaces},
url = {http://eudml.org/doc/91693},
volume = {46},
year = {2005},
}
TY - JOUR
AU - Bridges, Douglas
AU - Ishihara, Hajime
AU - Schuster, Peter
AU - Vîţă, Luminita
TI - Products in the category of apartness spaces
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 2005
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 46
IS - 2
SP - 139
EP - 153
LA - eng
KW - separation structure; product of apartness spaces; local decomposability
UR - http://eudml.org/doc/91693
ER -
References
top- [1] P. Aczel and M. Rathjen, Notes on Constructive Set Theory, Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences, 2001.
- [2] D.S. Bridges and F. Richman, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes97, Cambridge Univ. Press, 1987. Zbl0618.03032MR890955
- [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. Zbl1044.03048MR1937846
- [4] D.S. Bridges and L.S. Vîţă, 'More on Cauchy nets in apartness spaces', Sci. Math. Japonicae9, 375-380, 2004. Zbl1056.54030
- [5] D.S. Bridges, H. Ishihara, P.M. Schuster, and L.S. Vîţă, 'A proposal for compactness in apartness spaces', preprint, University of Canterbury, 2004.
- [6] S. Naimpally and B. Warrack, Proximity Spaces, Cambridge Tracts in Math. and Math. Phys.59, Cambridge University Press, 1970. Zbl0206.24601MR278261
- [7] P.M. Schuster, L.S. Vîţă and D.S. Bridges, 'Apartness as a Relation Between Subsets', in: Combinatorics, Computability and Logic (Proceedings of DMTCS'01, Constanţa, Romania, 2-6 July 2001; C.S. Calude, M.J. Dinneen, S. Sburlan (eds.)), 203-214, DMTCS Series 17, Springer-Verlag, London, 2001. Zbl0999.54021MR1934832
- [8] P.M. Schuster, L.S. Vîţă and D.S. Bridges, 'Apartness, topology, and uniformity: a constructive view', in: Computability and Complexity in Analysis (Proc. Dagstuhl Seminar 01461, 11-16 November 2001), Math. Log. Quart.48, Suppl. 1, 16-28, 2002. Zbl1044.03047MR1948052
- [9] P.M. Schuster, L.S. Vîţă and D.S. Bridges, 'Strong versus uniform continuity: a constructive round', Quaest. Math.26, 171-190, 2003. Zbl1031.54016MR1993323
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.