{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T18:28:26Z","timestamp":1758479306475},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2013,11,30]],"date-time":"2013-11-30T00:00:00Z","timestamp":1385769600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10485-013-9341-8","type":"journal-article","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T06:02:24Z","timestamp":1385704944000},"page":"727-739","source":"Crossref","is-referenced-by-count":4,"title":["Isocompactness in the Category of Locales"],"prefix":"10.1007","volume":"22","author":[{"given":"T.","family":"Dube","sequence":"first","affiliation":[]},{"given":"I.","family":"Naidoo","sequence":"additional","affiliation":[]},{"given":"C. N.","family":"Ncube","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,30]]},"reference":[{"issue":"3","key":"9341_CR1","doi-asserted-by":"crossref","first-page":"587","DOI":"10.2140\/pjm.1970.32.587","volume":"32","author":"P Bacon","year":"1970","unstructured":"Bacon, P.: The compactness of countably compact spaces. Pac. J. Math. 32(3), 587\u2013592 (1970).","journal-title":"Pac. J. Math."},{"key":"9341_CR2","doi-asserted-by":"crossref","unstructured":"Ball, R.N., Walters-Wayland, J.: C- and C\u2217-quotients in pointfree topology. Dissertationes Mathematicae (Rozprawy Mat.) vol. 412, p. 62, 2002.","DOI":"10.4064\/dm412-0-1"},{"issue":"3","key":"9341_CR3","first-page":"577","volume":"37","author":"B Banaschewski","year":"1996","unstructured":"Banaschewski, B., Gilmour, C.: Pseudocompactness and the cozero part of a frame. Com. Math. Univ. Carolin. 37(3), 577\u2013587 (1996).","journal-title":"Com. Math. Univ. Carolin."},{"key":"9341_CR4","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1023\/A:1011225712426","volume":"9","author":"B Banaschewski","year":"2001","unstructured":"Banaschewski, B., Gilmour, C.: Realcompactness and the cozero part of a frame. Appl. Categ. Struct. 9, 395\u2013417 (2001).","journal-title":"Appl. Categ. Struct."},{"key":"9341_CR5","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF00880042","volume":"1","author":"B Banaschewski","year":"1993","unstructured":"Banaschewski, B., Pultr, A.: Paracompactness revisited. Appl. Categor. Struct. 1, 181\u2013190 (1993).","journal-title":"Appl. Categor. Struct."},{"key":"9341_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/cm-41-1-1-12","volume":"41","author":"R Beazer","year":"1979","unstructured":"Beazer, R., MacNab, S.: Modal extensions of Heyting algebras. Colloq. Math. 41, 1\u201312 (1979).","journal-title":"Colloq. Math."},{"key":"9341_CR7","first-page":"93","volume":"16","author":"CH Dowker","year":"1975","unstructured":"Dowker, C.H., Strauss, D.: Paracompact frames and closed maps. Symp. Math. 16, 93\u2013116 (1975).","journal-title":"Symp. Math."},{"key":"9341_CR8","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s00012-006-1946-4","volume":"55","author":"T Dube","year":"2006","unstructured":"Dube, T.: An algebraic view of weaker forms of realcompactness. Algebra Univers. 55, 187\u2013202 (2006).","journal-title":"Algebra Univers."},{"key":"9341_CR9","doi-asserted-by":"crossref","first-page":"451","DOI":"10.2989\/16073600709486212","volume":"30","author":"T Dube","year":"2007","unstructured":"Dube, T., Matutu, P.: A few points on pointfree pseudocompactness. Quaest. Math. 30, 451\u2013464 (2007).","journal-title":"Quaest. Math."},{"key":"9341_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S0022-4049(99)00172-3","volume":"157","author":"MH Escard\u00f3","year":"2005","unstructured":"Escard\u00f3, M.H.: The regular-locally compact coreflection of a stably locally compact locale. J. Pure Appl. Algebra. 157, 41\u201355 (2005).","journal-title":"J. Pure Appl. Algebra"},{"key":"9341_CR11","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.jpaa.2008.05.010","volume":"213","author":"J Guti\u00e9rrez Garcia","year":"2009","unstructured":"Guti\u00e9rrez Garcia, J., Kubiak, T., Picado, J.: Pointfree forms of Dowker\u2019s and Michael\u2019s insertion theorems. J. Pure Appl. Algebra. 213, 98\u2013108 (2009).","journal-title":"J. Pure Appl. Algebra"},{"key":"9341_CR12","first-page":"181","volume":"22","author":"FW Eckerston","year":"1997","unstructured":"Eckerston, F.W., Garcia-Ferreira, S., Sanchis, M., Watson, S.: An isocompact Tychonoff space whose square is not isocompact. Top Proc. 22, 181\u2013190 (1997).","journal-title":"Top Proc."},{"key":"9341_CR13","doi-asserted-by":"crossref","first-page":"1132","DOI":"10.4153\/CJM-1972-119-8","volume":"24","author":"D Harris","year":"1972","unstructured":"Harris, D.: Extension closed and cluster closed subspaces. Canad. J. Math. 24, 1132\u20131136 (1972).","journal-title":"Canad. J. Math."},{"key":"9341_CR14","first-page":"85","volume":"35","author":"SS Hong","year":"1995","unstructured":"Hong, S.S.: Convergence in frames. Kyungpook Math. J. 35, 85\u201391 (1995).","journal-title":"Kyungpook Math. J."},{"key":"9341_CR15","doi-asserted-by":"crossref","first-page":"5","DOI":"10.7146\/math.scand.a-11409","volume":"31","author":"J Isbell","year":"1972","unstructured":"Isbell, J.: Atomless parts of spaces. Math. Scand. 31, 5\u201332 (1972).","journal-title":"Math. Scand."},{"key":"9341_CR16","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1090\/S0002-9947-1991-1091230-6","volume":"327","author":"J Isbell","year":"1991","unstructured":"Isbell, J.: First steps in descriptive theory of locales. Trans. Amer. Math. Soc. 327, 353\u2013371 (1991).","journal-title":"Trans. Amer. Math. Soc."},{"key":"9341_CR17","volume-title":"Stone spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone spaces. Cambridge University Press, Cambridge (1982)."},{"key":"9341_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-0154-6","volume-title":"Frames and locales: topology without points, frontiers in mathematics","author":"J Picado","year":"2012","unstructured":"Picado, J., Pultr, A.: Frames and locales: topology without points, frontiers in mathematics. Birkh\u00e4user, Cambridge (2012)."},{"issue":"2","key":"9341_CR19","doi-asserted-by":"crossref","first-page":"377","DOI":"10.21099\/tkbjm\/1496160049","volume":"8","author":"M Sakai","year":"1984","unstructured":"Sakai, M.: On cl-isocompactness and weak Borel completeness. Tsukuba J. Math. 8(2), 377\u2013382 (1984).","journal-title":"Tsukuba J. Math."},{"key":"9341_CR20","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0022-4049(94)90047-7","volume":"92","author":"JJC Vermeulen","year":"1994","unstructured":"Vermeulen, J.J.C.: Proper maps of locales. J. Pure Appl. Algebra. 92, 79\u2013107 (1994).","journal-title":"J. Pure Appl. Algebra"},{"key":"9341_CR21","first-page":"403","volume":"141","author":"H Wei","year":"2013","unstructured":"Wei, H., Maokang, L.: Completely regular proper reflection of locales over a given locale. Proc. Amer. Math. Soc. 141, 403\u2013408 (2013).","journal-title":"Proc. Amer. Math. Soc."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9341-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-013-9341-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9341-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,4]],"date-time":"2019-08-04T06:57:49Z","timestamp":1564901869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-013-9341-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,30]]},"references-count":21,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9341"],"URL":"https:\/\/doi.org\/10.1007\/s10485-013-9341-8","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,30]]}}}