Products in the category of apartness spaces
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 46 (2005) no. 2, pp. 139-153. 
@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},
     pages = {139--153},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {46},
     number = {2},
     year = {2005},
     mrnumber = {2153894},
     zbl = {1094.03051},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_2005__46_2_139_0/}
}
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
SP  - 139
EP  - 153
VL  - 46
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_2005__46_2_139_0/
LA  - en
ID  - CTGDC_2005__46_2_139_0
ER  - 
%0 Journal Article
%A Bridges, Douglas
%A Ishihara, Hajime
%A Schuster, Peter
%A Vîţă, Luminita
%T Products in the category of apartness spaces
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2005
%P 139-153
%V 46
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_2005__46_2_139_0/
%G en
%F 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) no. 2, pp. 139-153. http://archive.numdam.org/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 | Zbl

[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 | Zbl

[4] D.S. Bridges and L.S. Vîţă, 'More on Cauchy nets in apartness spaces', Sci. Math. Japonicae 9, 375-380, 2004. | Zbl

[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 | Zbl

[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 | Zbl

[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 | Zbl

[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 | Zbl