{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:35:20Z","timestamp":1759073720495},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T00:00:00Z","timestamp":1565654400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T00:00:00Z","timestamp":1565654400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10485-019-09573-x","type":"journal-article","created":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T07:02:31Z","timestamp":1565679751000},"page":"663-686","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Compact Hausdorff Spaces with Relations and Gleason Spaces"],"prefix":"10.1007","volume":"27","author":[{"given":"G.","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"D.","family":"Gabelaia","sequence":"additional","affiliation":[]},{"given":"J.","family":"Harding","sequence":"additional","affiliation":[]},{"given":"M.","family":"Jibladze","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,13]]},"reference":[{"key":"9573_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS-04), pp. 415\u2013425. IEEE Computer Society, New York (2004) (Extended version at arXiv:quant-ph\/0402130 )","DOI":"10.1109\/LICS.2004.1319636"},{"issue":"3","key":"9573_CR2","first-page":"301","volume":"6","author":"B Banaschewski","year":"1980","unstructured":"Banaschewski, B., Mulvey, C.: Stone-\u010cech compactification of locales I. Houston J. Math. 6(3), 301\u2013312 (1980)","journal-title":"Houston J. Math."},{"issue":"6","key":"9573_CR3","doi-asserted-by":"publisher","first-page":"1064","DOI":"10.1016\/j.topol.2010.01.007","volume":"157","author":"G Bezhanishvili","year":"2010","unstructured":"Bezhanishvili, G.: Stone duality and Gleason covers through de Vries duality. Topol. Appl. 157(6), 1064\u20131080 (2010)","journal-title":"Topol. Appl."},{"issue":"6","key":"9573_CR4","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/s10485-011-9252-5","volume":"20","author":"G Bezhanishvili","year":"2012","unstructured":"Bezhanishvili, G.: De Vries algebras and compact regular frames. Appl. Categ. Struct. 20(6), 569\u2013582 (2012)","journal-title":"Appl. Categ. Struct."},{"issue":"3","key":"9573_CR5","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s10485-016-9434-2","volume":"25","author":"G Bezhanishvili","year":"2017","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., Venema, Y.: Irreducible equivalence relations, Gleason spaces, and de Vries duality. Appl. Categ. Struct. 25(3), 381\u2013401 (2017)","journal-title":"Appl. Categ. Struct."},{"issue":"1","key":"9573_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/logcom\/exs030","volume":"25","author":"G Bezhanishvili","year":"2015","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Harding, J.: Modal compact Hausdorff spaces. J. Logic Comput. 25(1), 1\u201335 (2015)","journal-title":"J. Logic Comput."},{"issue":"3","key":"9573_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s10485-013-9332-9","volume":"23","author":"G Bezhanishvili","year":"2015","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Harding, J.: Modal operators on compact regular frames and de Vries algebras. Appl. Categ. Struct. 23(3), 365\u2013379 (2015)","journal-title":"Appl. Categ. Struct."},{"key":"9573_CR8","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A Carboni","year":"1987","unstructured":"Carboni, A., Walters, R.: Cartesian bicategories I. J. Pure Appl. Algebra 49, 11\u201332 (1987)","journal-title":"J. Pure Appl. Algebra"},{"key":"9573_CR9","unstructured":"de Vries, H.: Compact spaces and compactifications. An algebraic approach, Ph.D. thesis, University of Amsterdam, (1962)"},{"key":"9573_CR10","volume-title":"Categories, Allegories","author":"P Freyd","year":"1990","unstructured":"Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland Mathematical Library, Amsterdam (1990)"},{"key":"9573_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G Gierz","year":"1980","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: A Compendium of Continuous Lattices. Springer, Berlin (1980)"},{"key":"9573_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)"},{"key":"9573_CR13","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1215\/ijm\/1255454110","volume":"2","author":"A Gleason","year":"1958","unstructured":"Gleason, A.: Projective topological spaces. Ill. J. Math. 2, 482\u2013489 (1958)","journal-title":"Ill. J. Math."},{"key":"9573_CR14","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1007\/s10773-008-9853-4","volume":"48","author":"J Harding","year":"2009","unstructured":"Harding, J.: A link between quantum logic and categorical quantum mechanics. Int. J. Theoret. Phys. 48, 769\u2013802 (2009)","journal-title":"Int. J. Theoret. Phys."},{"key":"9573_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.entcs.2011.01.024","volume":"270","author":"C Heunen","year":"2011","unstructured":"Heunen, C., Jacobs, B.: Quantum logic in dagger kernel categories. Electron. Notes Theoret. Comput. Sci. 270, 79\u2013103 (2011)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"9573_CR16","doi-asserted-by":"publisher","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":"9573_CR17","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"9573_CR18","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Vietoris locales and localic semilattices, Continuous lattices and their applications (Bremen, 1982), pp. 155\u2013180. Lecture Notes in Pure and Application Mathematics, vol. 101, Dekker, New York (1985)","DOI":"10.1201\/9781003072621-9"},{"key":"9573_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S1571-0661(04)80964-2","volume":"45","author":"A Jung","year":"2001","unstructured":"Jung, A., Kegelmann, M., Moshier, M.A.: Stably compact spaces and closed relations. Electron. Notes Theoret. Comput. Sci. 45, 209\u2013231 (2001)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"9573_CR20","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. Springer, Basel (2012)"},{"key":"9573_CR21","unstructured":"Townsend, C.F.: Preframe techniques in constructive locale theory. Ph.D. thesis, University of London (1996)"},{"key":"9573_CR22","first-page":"390","volume-title":"Lecture Notes in Mathematics","author":"Oswald Wyler","year":"1981","unstructured":"Wyler, O.: Algebraic theories of continuous lattices. In: Continuous Lattices, pp. 390\u2013413. Springer, Berlin (1981)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-019-09573-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-019-09573-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-019-09573-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,19]],"date-time":"2023-09-19T01:27:52Z","timestamp":1695086872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-019-09573-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,13]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9573"],"URL":"https:\/\/doi.org\/10.1007\/s10485-019-09573-x","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,13]]},"assertion":[{"value":"19 March 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 August 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}