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
topReferences
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