{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:26:59Z","timestamp":1778765219419,"version":"3.51.4"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10485-016-9434-2","type":"journal-article","created":{"date-parts":[[2016,4,20]],"date-time":"2016-04-20T07:41:03Z","timestamp":1461138063000},"page":"381-401","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality"],"prefix":"10.1007","volume":"25","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Bezhanishvili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit","family":"Sourabh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yde","family":"Venema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,20]]},"reference":[{"key":"9434_CR1","first-page":"93","volume":"5","author":"PS Aleksandrov","year":"1959","unstructured":"Aleksandrov, P.S., Ponomarev, V.I.: Compact extensions of topological spaces (Russian). Vestnik Moskov. Univ. Ser. Mat. Meh. Astr. Fiz. Him. 5, 93\u2013108 (1959)","journal-title":"Vestnik Moskov. Univ. Ser. Mat. Meh. Astr. Fiz. Him."},{"key":"9434_CR2","unstructured":"Balbiani, P., Kikot, S.: Sahlqvist theorems for precontact logics. In: Advances in Modal Logic 9, Papers from the Ninth Conference on \u201cAdvances in Modal Logic,\u201d Held in Copenhagen, Denmark, 22\u201325 August 2012, pp. 55\u201370 (2012)"},{"issue":"6","key":"9434_CR3","doi-asserted-by":"crossref","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":"9434_CR4","doi-asserted-by":"crossref","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":"4","key":"9434_CR5","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/s00012-013-0253-0","volume":"70","author":"G Bezhanishvili","year":"2013","unstructured":"Bezhanishvili, G.: Lattice subordinations and Priestley duality. Algebra Univers. 70(4), 359\u2013377 (2013)","journal-title":"Algebra Univers."},{"issue":"2","key":"9434_CR6","first-page":"520","volume":"80","author":"G Bezhanishvili","year":"2015","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Harding, J.: Modal compact Hausdorff spaces. J. Logic Comput. 80(2), 520\u2013566 (2015)","journal-title":"J. Logic Comput."},{"issue":"01","key":"9434_CR7","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1017\/jsl.2015.54","volume":"81","author":"G Bezhanishvili","year":"2016","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Iemhoff, R.: Stable canonical rules. J. Symb. Log. 81(01), 284\u2013 315 (2016)","journal-title":"J. Symb. Log."},{"key":"9434_CR8","unstructured":"Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., Venema, Y.: Subordinations, closed relations, and compact Hausdorff spaces. ILLC Prepublication Series, PP-2014-23. Available at http:\/\/www.illc.uva.nl\/Research\/Publications\/Reports\/PP-2014-23.text.pdf (2014)"},{"issue":"01","key":"9434_CR9","first-page":"284","volume":"81","author":"G Bezhanishvili","year":"2016","unstructured":"Bezhanishvili, G., Harding, J.: Proximity frames and regularization. Appl. Categ. Struct. 81(01), 284\u2013315 (2016)","journal-title":"Appl. Categ. Struct."},{"issue":"1","key":"9434_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015234920593","volume":"19","author":"G Bezhanishvili","year":"2002","unstructured":"Bezhanishvili, G., Mines, R., Morandi, P.J.: The Priestley separation axiom for scattered spaces. Order 19(1), 1\u201310 (2002)","journal-title":"Order"},{"key":"9434_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"9434_CR12","volume-title":"Modal Logic, volume 35 of Oxford Logic Guides","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic, volume 35 of Oxford Logic Guides. The Clarendon Press, New York (1997)"},{"issue":"4","key":"9434_CR13","doi-asserted-by":"crossref","first-page":"721","DOI":"10.21136\/MB.2001.134115","volume":"126","author":"S Celani","year":"2001","unstructured":"Celani, S.: Quasi-modal algebras. Math. Bohem. 126(4), 721\u2013736 (2001)","journal-title":"Math. Bohem."},{"key":"9434_CR14","unstructured":"de Vries, H.: Compact spaces and compactifications. An algebraic approach. PhD thesis, University of Amsterdam (1962)"},{"issue":"4","key":"9434_CR15","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/s10474-010-0035-5","volume":"129","author":"G Dimov","year":"2010","unstructured":"Dimov, G.: A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I. Acta Math. Hungar. 129(4), 314\u2013349 (2010)","journal-title":"Acta Math. Hungar."},{"key":"9434_CR16","doi-asserted-by":"crossref","unstructured":"Dimov, G., Vakarelov, D.: Topological representation of precontact algebras. In: W. MacCaull, M. Winter, I. D\u00fcntsch (eds.) Relational Methods in Computer Science, volume 3929 of Lecture Notes in Computer Science, pp 1\u201316. Springer, Berlin (2006)","DOI":"10.1007\/11734673_1"},{"key":"9434_CR17","unstructured":"Dimov, G., Vakarelov, D.: Topological representation of precontact algebras and a connected version of the Stone duality theorem\u2014I. Available at http:\/\/arxiv.org\/pdf\/1508.02220v2.pdf (2015)"},{"issue":"1\u20134","key":"9434_CR18","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10472-007-9064-3","volume":"49","author":"I D\u00fcntsch","year":"2007","unstructured":"D\u00fcntsch, I., Vakarelov, D.: Region-based theory of discrete spaces: a proximity approach. Ann. Math. Artif. Intell. 49(1\u20134), 5\u201314 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9434_CR19","first-page":"147","volume":"15","author":"L Esakia","year":"1974","unstructured":"Esakia, L.: Topological Kripke models. Soviet Math. Dokl. 15, 147\u2013151 (1974)","journal-title":"Soviet Math. Dokl."},{"key":"9434_CR20","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1215\/ijm\/1255454110","volume":"2","author":"AM Gleason","year":"1958","unstructured":"Gleason, A.M.: Projective topological spaces. Ill. J. Math. 2, 482\u2013489 (1958)","journal-title":"Ill. J. Math."},{"issue":"3","key":"9434_CR21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R Goldblatt","year":"1989","unstructured":"Goldblatt, R.: Varieties of complex algebras. Ann. Pure Appl. Logic 44(3), 173\u2013242 (1989)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9434_CR22","volume-title":"Algebraic Logic","author":"PR Halmos","year":"1962","unstructured":"Halmos, P.R.: Algebraic Logic. Chelsea Publishing Co., New York (1962)"},{"key":"9434_CR23","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. I. Am. J. Math. 73, 891\u2013939 (1951)","journal-title":"Am. J. Math."},{"key":"9434_CR24","volume-title":"Tools and Techniques in Modal Logic","author":"M Kracht","year":"1999","unstructured":"Kracht, M.: Tools and Techniques in Modal Logic. North-Holland Publishing Co., Amsterdam (1999)"},{"key":"9434_CR25","volume-title":"Categories for the Working Mathematician, 2nd edn","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)"},{"key":"9434_CR26","volume-title":"Proximity Spaces. Cambridge Tracts in Mathematics and Mathematical Physics, No. 59","author":"SA Naimpally","year":"1970","unstructured":"Naimpally, S.A., Warrack, B.D.: Proximity Spaces. Cambridge Tracts in Mathematics and Mathematical Physics, No. 59. Cambridge University Press, London (1970)"},{"key":"9434_CR27","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"24","author":"HA Priestley","year":"1972","unstructured":"Priestley, H.A.: Ordered topological spaces and the representation of distributive lattices. Proc. Lond. Math. Soc. 24, 507\u2013530 (1972)","journal-title":"Proc. Lond. Math. Soc."},{"issue":"1","key":"9434_CR28","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1005298632302","volume":"64","author":"V Sofronie-Stokkermans","year":"2000","unstructured":"Sofronie-Stokkermans, V.: Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I. Stud. Log. 64(1), 93\u2013132 (2000)","journal-title":"Stud. Log."},{"issue":"1","key":"9434_CR29","first-page":"37","volume":"40","author":"MH Stone","year":"1936","unstructured":"Stone, M.H.: The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40(1), 37\u2013111 (1936)","journal-title":"Trans. Am. Math. Soc."},{"issue":"4","key":"9434_CR30","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF02572690","volume":"20","author":"A Stralka","year":"1980","unstructured":"Stralka, A.: A partially ordered space which is not a Priestley space. Semigroup Forum 20(4), 293\u2013297 (1980)","journal-title":"Semigroup Forum"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9434-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-016-9434-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T22:08:36Z","timestamp":1600466916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-016-9434-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,20]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9434"],"URL":"https:\/\/doi.org\/10.1007\/s10485-016-9434-2","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,20]]}}}