{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:08:37Z","timestamp":1759147717421},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,12,29]],"date-time":"2013-12-29T00:00:00Z","timestamp":1388275200000},"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":[[2014,11]]},"DOI":"10.1007\/s11083-013-9311-7","type":"journal-article","created":{"date-parts":[[2013,12,27]],"date-time":"2013-12-27T22:49:02Z","timestamp":1388184542000},"page":"435-461","source":"Crossref","is-referenced-by-count":11,"title":["Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions"],"prefix":"10.1007","volume":"31","author":[{"given":"Mai","family":"Gehrke","sequence":"first","affiliation":[]},{"given":"Samuel J.","family":"van Gool","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,12,29]]},"reference":[{"key":"9311_CR1","unstructured":"Birkhoff, G.: Lattice Theory, Colloquium Publications, vol. 25. American Mathematical Society (1967)"},{"key":"9311_CR2","volume-title":"Chapters 1\u20134, Elements of Mathematics (Berlin)","author":"N Bourbaki","year":"1998","unstructured":"Bourbaki, N.: General topology. In: Chapters 1\u20134, Elements of Mathematics (Berlin), 1st edn. 1974, reprinted 2nd edn. Springer-Verlag, Berlin (1998)","edition":"1st"},{"issue":"1","key":"9311_CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.4153\/CMB-1970-023-6","volume":"13","author":"G Bruns","year":"1970","unstructured":"Bruns, G., Lakser, H.: Injective hulls of semilattices. Canad. Math. Bull. 13(1), 115\u2013118 (1970)","journal-title":"Canad. Math. Bull."},{"key":"9311_CR4","unstructured":"Coumans, D.C.S.: Canonical Extensions in Logic: Some Applications and a Generalisation to Categories. Dissertation, Radboud University Nijmegen (2012)"},{"key":"9311_CR5","first-page":"329","volume":"57","author":"A Cs\u00e1sz\u00e1r","year":"1993","unstructured":"Cs\u00e1sz\u00e1r, A.: D-completions of pervin-type quasi-uniformities. Acta. Sci. Math. (Szeged) 57, 329\u2013335 (1993)","journal-title":"Acta. Sci. Math. (Szeged)"},{"issue":"3","key":"9311_CR6","doi-asserted-by":"crossref","first-page":"713","DOI":"10.2178\/jsl\/1122038911","volume":"70","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., Gehrke, M., Palmigiano, A.: Canonical extensions of ordered algebraic structures and relational completeness of some substructural logics. J. Symb. Log. 70(3), 713\u2013740 (2005)","journal-title":"J. Symb. Log."},{"key":"9311_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1011260817824","volume":"9","author":"M Ern\u00e9","year":"2001","unstructured":"Ern\u00e9, M.: Ideal completions and compactifications. Appl. Cat. Struct. 9, 217\u2013243 (2001)","journal-title":"Appl. Cat. Struct."},{"key":"9311_CR8","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s10485-006-9029-4","volume":"15","author":"M Ern\u00e9","year":"2007","unstructured":"Ern\u00e9, M.: Choiceless, pointless, but not useless: dualities for preframes. Appl. Cat. Struct. 15, 541\u2013572 (2007)","journal-title":"Appl. Cat. Struct."},{"key":"9311_CR9","first-page":"327","volume":"48","author":"M Ern\u00e9","year":"1998","unstructured":"Ern\u00e9, M., Palko, V.: Uniform ideal completions. Math. Slovaca. 48, 327\u2013335 (1998)","journal-title":"Math. Slovaca."},{"key":"9311_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1008758815245","volume":"9","author":"M Ern\u00e9","year":"2001","unstructured":"Ern\u00e9, M., Zhao, D.: Z-join spectra of Z-Supercompactly generated lattices. Appl. Cat. Struct. 9, 41\u201363 (2001)","journal-title":"Appl. Cat. Struct."},{"key":"9311_CR11","volume-title":"LecturesNotes in Pure and AppliedMathematics, vol. 77","author":"P Fletcher","year":"1982","unstructured":"Fletcher, P., Lindgren, W.F.: Quasi-uniform spaces. In: Lectures Notes in Pure and Applied Mathematics, vol. 77. Marcel Dekker Inc., New York (1982)"},{"key":"9311_CR12","volume-title":"Formal concept analysis. Mathematical Foundations. Translated from the 1996 German original by Cornelia Franzke","author":"B Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal concept analysis. Mathematical Foundations. Translated from the 1996 German original by Cornelia Franzke. Springer-Verlag, Berlin (1999)"},{"key":"9311_CR13","unstructured":"Gehrke, M.: Canonical extensions, Esakia spaces, and universal models. In: Leo Esakia on Duality in Modal and Intuitionistic Logics, Trends in Logic: Outstanding Contributions. Springer. preprint available at http:\/\/www.liafa.univ-paris-diderot.fr\/mgehrke\/Ge12.pdf (2012)"},{"key":"9311_CR14","doi-asserted-by":"crossref","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.-\u00c9.: A topological approach to recognition, automata, languages and programming. In: Abramsky, S., et al. (eds.) 37th International Colloquium (ICALP 2010), vol. 6199, no. 2, pp. 151\u2013162. LNCS, Springer (2010)","DOI":"10.1007\/978-3-642-14162-1_13"},{"issue":"1","key":"9311_CR15","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M Gehrke","year":"2001","unstructured":"Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345\u2013371 (2001)","journal-title":"J. Algebra"},{"issue":"2","key":"9311_CR16","first-page":"207","volume":"40","author":"M Gehrke","year":"1994","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattices with operators. Math. Japon. 40(2), 207\u2013215 (1994)","journal-title":"Math. Japon."},{"key":"9311_CR17","doi-asserted-by":"crossref","first-page":"13","DOI":"10.7146\/math.scand.a-14428","volume":"94","author":"M Gehrke","year":"2004","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattice expansions. Math. Scand. 94, 13\u201345 (2004)","journal-title":"Math. Scand."},{"issue":"1-3","key":"9311_CR18","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11225-006-8306-4","volume":"83","author":"R Goldblatt","year":"2006","unstructured":"Goldblatt, R.: Maps and monads for modal frames. Stud. Logica. 83(1-3), 309\u2013331 (2006)","journal-title":"Stud. Logica."},{"key":"9311_CR19","first-page":"85","volume":"15","author":"J Harding","year":"1998","unstructured":"Harding, J.: Canonical completions of lattices and ortholattices. Tatra Mountains Math. Publ. 15, 85\u201396 (1998)","journal-title":"Tatra Mountains Math. Publ."},{"key":"9311_CR20","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF01190610","volume":"29","author":"G Hartung","year":"1992","unstructured":"Hartung, G.: A topological representation of lattices. Algebra Univers. 29, 273\u2013299 (1992). doi: 10.1007\/BF01.190610","journal-title":"Algebra Univers."},{"key":"9311_CR21","first-page":"126","volume-title":"General Algebra and Applications","author":"G Hartung","year":"1993","unstructured":"Hartung, G.: An extended duality for lattices. In: Denecke, K., Vogel, H.-J. (eds.) General Algebra and Applications, pp 126\u2013142. Heldermann-Verlag, Berlin (1993)"},{"issue":"4","key":"9311_CR22","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. Amer. J. Math. 73(4), 891\u2013939 (1951)","journal-title":"I. Amer. J. Math."},{"issue":"1","key":"9311_CR23","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B.: Boolean algebras with operators, II. Am. J. Math. 74(1), 127\u2013162 (1952)","journal-title":"Am. J. Math."},{"key":"9311_CR24","doi-asserted-by":"crossref","unstructured":"Jung, A., Moshier, M.A., Vickers, S.: Presenting dcpos and dcpo algebras. In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Electronic Notes in Theoretical Computer Science, vol. 218, pp. 209\u2013229 (2008)","DOI":"10.1016\/j.entcs.2008.10.013"},{"key":"9311_CR25","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/BF01440953","volume":"147","author":"WJ Pervin","year":"1962","unstructured":"Pervin, W.J.: Quasi-uniformization of topological spaces. Math. Ann. 147, 316\u2013317 (1962)","journal-title":"Math. Ann."},{"key":"9311_CR26","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2, 186\u2013190 (1970)","journal-title":"Bull. London Math. Soc."},{"issue":"1","key":"9311_CR27","first-page":"37","volume":"74","author":"MH Stone","year":"1936","unstructured":"Stone, M.H.: The theory of representation for boolean algebras. Trans. Amer. Math. Soc. 74(1), 37\u2013111 (1936)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9311_CR28","first-page":"1","volume":"67","author":"MH Stone","year":"1937","unstructured":"Stone, M.H.: Topological representations of distributive lattices and Brouwerian logics. \u010cas. Mat. Fys. 67, 1\u201325 (1937)","journal-title":"\u010cas. Mat. Fys."},{"issue":"1","key":"9311_CR29","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02485369","volume":"8","author":"A Urquhart","year":"1978","unstructured":"Urquhart, A.: A topological representation theory for lattices. Algebra Univers. 8(1), 45\u201358 (1978)","journal-title":"Algebra Univers."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-013-9311-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-013-9311-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-013-9311-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T07:25:41Z","timestamp":1564989941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-013-9311-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,29]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["9311"],"URL":"https:\/\/doi.org\/10.1007\/s11083-013-9311-7","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,29]]}}}