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

How to cite

top

Bridges, 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. [1] P. Aczel and M. Rathjen, Notes on Constructive Set Theory, Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences, 2001. 
  2. [2] D.S. Bridges and F. Richman, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes97, Cambridge Univ. Press, 1987. Zbl0618.03032MR890955
  3. [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. [4] D.S. Bridges and L.S. Vîţă, 'More on Cauchy nets in apartness spaces', Sci. Math. Japonicae9, 375-380, 2004. Zbl1056.54030
  5. [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. [6] S. Naimpally and B. Warrack, Proximity Spaces, Cambridge Tracts in Math. and Math. Phys.59, Cambridge University Press, 1970. Zbl0206.24601MR278261
  7. [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. [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. [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 ?

top

You must be logged in to post comments.