References
- D. Baboolal and P. Pillay, Irreducible locales, Filomat 32(10) (2018), 3443–3453. doi: 10.2298/FIL1810443B
- B. Banaschewski and A. Pultr, Variants of Openness, Appl. Categ. Structures 2 (1994), 331–350. doi: 10.1007/BF00873038
- E.K. van Douwen, Remote points, Dissert. Math. (Rozprawy Mat.) 188 (1981), 629–673.
- T. Dube, Bounded quotients of frames, Quaest. Math. 28(1) (2005), 55–72. doi: 10.2989/16073600509486115
- T. Dube, Submaximality in locales, Topology Proc. 29 (2005), 431–444.
- T. Dube, Remote points and the like in pointfree topology, Acta Math. Hungar. 123(3) (2009), 203–222. doi: 10.1007/s10474-009-8083-4
- T. Dube, A.A. Estaji, and M.R. Sarpoushi, Some relative normality properties in locales, Math. Slovaca 70(4) (2020), 779–794. doi: 10.1515/ms-2017-0391
- T. Dube and M.M. Mugochi, Localic remote points revisited, Filomat 29(1) (2015), 111–120. doi: 10.2298/FIL1501111D
- T. Dube and D.N. Stephen, Mapping ideals to sublocales, Appl. Categ. Structures 29(4) (2021), 747–772. doi: 10.1007/s10485-021-09634-0
- N.J. Fine and L. Gillman, Remote points in βR, Proc. Amer. Math. Soc. 13(1) (1962), 29–36.
- C.I. Gates, Some structural properties of the set of remote points of a metric space, Canad. J. Math. 32(1) (1980), 195–209. doi: 10.4153/CJM-1980-015-7
- P.T. Johnstone, Stone Spaces, Cambridge Studies in Advanced Mathematics, Vol. 3, Cambridge University Press, Cambridge, 1982.
- Z. Karno, On discrete and almost discrete topological spaces, Formalized Mathematics, 3(2) (1992), 305–310.
- K. Kuratowski, Topology, Vol. 1, Polish Scientific Publishers, Academic Press, Warsaw/New York/London, 1966.
- J. van Mill, Sixteen topological types in βω − ω, Topology Appl. 13(1) (1982), 43–57. doi: 10.1016/0166-8641(82)90006-2
- J. Picado and A. Pultr, Frames and Locales: topology without points, Frontiers in Mathematics, Vol. 28, Springer, Basel, 2012.
- T. Plewe, Higher order dissolutions and Boolean coreflections of locales, J. Pure Appl. Algebra 154(1–3) (2000), 273–293. doi: 10.1016/S0022-4049(99)00193-0
- R.G. Woods, Homeomorphic sets of remote points, Canad. J. Math. 23(3) (1971), 495–502. doi: 10.4153/CJM-1971-052-1