On the completeness of localic groups
Banaschewski, Bernhard ; Vermeulen, Jacob J. C
Commentationes Mathematicae Universitatis Carolinae, Tome 40 (1999), p. 293-307 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)

The main purpose of this paper is to show that any localic group is complete in its two-sided uniformity, settling a problem open since work began in this area a decade ago. In addition, a number of other results are established, providing in particular a new functor from topological to localic groups and an alternative characterization of $LT$-groups.

Publié le : 1999-01-01
Classification:  18D35,  22A05,  54E15,  54H11 
@article{119085,
     author = {Bernhard Banaschewski and Jacob J. C Vermeulen},
     title = {On the completeness of localic groups},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {40},
     year = {1999},
     pages = {293-307},
     zbl = {0981.18010},
     mrnumber = {1732650},
     language = {en},
     url = {http://dml.mathdoc.fr/item/119085}
}

Banaschewski, Bernhard; Vermeulen, Jacob J. C. On the completeness of localic groups. Commentationes Mathematicae Universitatis Carolinae, Tome 40 (1999) pp. 293-307. http://gdmltest.u-ga.fr/item/119085/

Banaschewski B. Completion in Pointfree Topology, Lecture Notes in Mathematics and Applied Mathematics No. 2/96, University of Cape Town, 1996. | Zbl 1034.06008

Banaschewski B.; Hong S.S.; Pultr A. On the completion of nearness frames, Quaest. Math. 21 (1998), 19-37. (1998) | MR 1658467 | Zbl 0931.54025

Bourbaki N. General Topology, Herrman, Paris and Addison-Wesley, Reading, Massachusetts, 1966. | Zbl 1107.54001

Isbell J.R. Uniform spaces, A.M.S. Mathematical Survey 12, Providence, Rhode Island, 1964. | MR 0170323 | Zbl 0124.15601

Isbell J.R. Atomless parts of spaces, Math. Scand. 31 (1972), 5-32. (1972) | MR 0358725 | Zbl 0246.54028

Isbell J.R. Private communication, April 1994.

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

Johnstone P.T. Stone Spaces, Cambridge University Press, Cambridge, 1982. | MR 0698074 | Zbl 0586.54001

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. (1986) | MR 0845407

Vickers S. Topology via Logic, Cambridge Tracts in Theor. Comp. Sci. No. 5, Cambridge University Press, Cambridge, 1985. | MR 1002193 | Zbl 0922.54002