Products in the category of apartness spaces
Bridges, Douglas ; Ishihara, Hajime ; Schuster, Peter ; Vîţă, Luminita
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 46 (2005), p. 139-153 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 2005-01-01
@article{CTGDC_2005__46_2_139_0,
     author = {Bridges, Douglas and Ishihara, Hajime and Schuster, Peter and V\^\i \c t\u a, Luminita},
     title = {Products in the category of apartness spaces},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {46},
     year = {2005},
     pages = {139-153},
     mrnumber = {2153894},
     zbl = {1094.03051},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_2005__46_2_139_0}
}

Bridges, Douglas; Ishihara, Hajime; Schuster, Peter; Vîţă, Luminita. Products in the category of apartness spaces. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 46 (2005) pp. 139-153. http://gdmltest.u-ga.fr/item/CTGDC_2005__46_2_139_0/

[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 Notes 97, Cambridge Univ. Press, 1987. | MR 890955 | Zbl 0618.03032

[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. | MR 1937846 | Zbl 1044.03048

[4] D.S. Bridges and L.S. Vîţă, 'More on Cauchy nets in apartness spaces', Sci. Math. Japonicae 9, 375-380, 2004. | Zbl 1056.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. | MR 278261 | Zbl 0206.24601

[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. | MR 1934832 | Zbl 0999.54021

[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. | MR 1948052 | Zbl 1044.03047

[9] P.M. Schuster, L.S. Vîţă and D.S. Bridges, 'Strong versus uniform continuity: a constructive round', Quaest. Math. 26, 171-190, 2003. | MR 1993323 | Zbl 1031.54016