{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:53:06Z","timestamp":1759146786496},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s11083-008-9089-1","type":"journal-article","created":{"date-parts":[[2008,9,5]],"date-time":"2008-09-05T08:00:58Z","timestamp":1220601658000},"page":"211-227","source":"Crossref","is-referenced-by-count":29,"title":["Profinite Heyting Algebras"],"prefix":"10.1007","volume":"25","author":[{"given":"G.","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"N.","family":"Bezhanishvili","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,9,6]]},"reference":[{"issue":"1","key":"9089_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1023\/A:1005173628262","volume":"62","author":"G. Bezhanishvili","year":"1999","unstructured":"Bezhanishvili, G.: Varieties of monadic Heyting algebras. II. Duality theory. Stud. Log. 62(1), 21\u201348 (1999)","journal-title":"Stud. Log."},{"issue":"2\u20133","key":"9089_CR2","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s11083-006-9037-x","volume":"23","author":"G. Bezhanishvili","year":"2006","unstructured":"Bezhanishvili, G., Gehrke, M., Mines, R., Morandi, P.J.: Profinite completions and canonical extensions of Heyting algebras. Order 23(2\u20133), 143\u2013161 (2006)","journal-title":"Order"},{"key":"9089_CR3","unstructured":"Bezhanishvili, N.: Lattices of intermediate and cylindric modal logics. Ph.D. thesis, University of Amsterdam (2006)"},{"key":"9089_CR4","first-page":"147","volume":"15","author":"L.L. Esakia","year":"1974","unstructured":"Esakia, L.L.: Topological Kripke models. Sov. Math. Dokl. 15, 147\u2013151 (1974)","journal-title":"Sov. Math. Dokl."},{"key":"9089_CR5","first-page":"147","volume-title":"Logical Inference (Moscow, 1974)","author":"L.L. Esakia","year":"1979","unstructured":"Esakia, L.L.: On the theory of modal and superintuitionistic systems. In: Logical Inference (Moscow, 1974), pp. 147\u2013172. Nauka, Moscow (1979)"},{"key":"9089_CR6","volume-title":"Heyting Algebras I. Duality Theory (Russian)","author":"L.L. Esakia","year":"1985","unstructured":"Esakia, L.L.: Heyting Algebras I. Duality Theory (Russian). Metsniereba, Tbilisi (1985)"},{"key":"9089_CR7","first-page":"937","volume":"30","author":"J. Harding","year":"2004","unstructured":"Harding, J., Bezhanishvili, G.: Macneille completions of Heyting algebras. Houst. J. Math. 30, 937\u2013952 (2004)","journal-title":"Houst. J. Math."},{"key":"9089_CR8","volume-title":"Stone Spaces","author":"P.T. Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"9089_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-65374-2","volume-title":"Algebraic Systems","author":"A.I. Malcev","year":"1973","unstructured":"Malcev, A.I.: Algebraic Systems. Springer, New York (1973)"},{"key":"9089_CR10","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H.A. Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. Lond. Math. Soc."},{"issue":"3","key":"9089_CR11","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","volume":"24","author":"H.A. Priestley","year":"1972","unstructured":"Priestley, H.A.: Ordered topological spaces and the representation of distributive lattices. Proc. Lond. Math. Soc. 24(3), 507\u2013530 (1972)","journal-title":"Proc. Lond. Math. Soc."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-008-9089-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-008-9089-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-008-9089-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:12:12Z","timestamp":1559365932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-008-9089-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["9089"],"URL":"https:\/\/doi.org\/10.1007\/s11083-008-9089-1","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}