[1] Banaschewski B.:
Completion in Pointfree Topology. Lecture Notes in Mathematics and Applied Mathematics No. 2/96, University of Cape Town, 1996.
Zbl 1034.06008
[2] Banaschewski B., Hong S.S., Pultr A.:
On the completion of nearness frames. Quaest. Math. 21 (1998), 19-37.
MR 1658467 |
Zbl 0931.54025
[3] Bourbaki N.:
General Topology. Herrman, Paris and Addison-Wesley, Reading, Massachusetts, 1966.
Zbl 1107.54001
[4] Isbell J.R.:
Uniform spaces. A.M.S. Mathematical Survey 12, Providence, Rhode Island, 1964.
MR 0170323 |
Zbl 0124.15601
[6] Isbell J.R.: Private communication. April 1994.
[7] Isbell J.R., Kříž I., Pultr A., Rosický J.:
Remarks on localic groups. Springer LNM 1348, Categorial Algebra and its Applications, Proceedings, Louvain-la-Neuve, 1987, Springer-Verlag, 1988, pp.154-172.
MR 0975968
[9] Kříž I.:
A direct description of uniform completion in locales and a characterization of LT-groups. Cahier Top. et Géom. Diff. Categ. 27 (1986), 19-34.
MR 0845407
[10] Vickers S.:
Topology via Logic. Cambridge Tracts in Theor. Comp. Sci. No. 5, Cambridge University Press, Cambridge, 1985.
MR 1002193 |
Zbl 0922.54002