{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:14:22Z","timestamp":1725596062551},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223020"},{"type":"electronic","value":"9783642223037"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22303-7_6","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T07:33:30Z","timestamp":1310974410000},"page":"77-100","source":"Crossref","is-referenced-by-count":10,"title":["A View of Canonical Extension"],"prefix":"10.1007","author":[{"given":"Mai","family":"Gehrke","sequence":"first","affiliation":[]},{"given":"Jacob","family":"Vosmaer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"1004","DOI":"10.4153\/CJM-1966-101-2","volume":"18","author":"R.A. Alo","year":"1966","unstructured":"Alo, R.A., Frink, O.: Topologies of lattice products. Canad. J. Math.\u00a018, 1004\u20131014 (1966)","journal-title":"Canad. J. Math."},{"key":"6_CR2","doi-asserted-by":"publisher","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":"6_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"6_CR4","doi-asserted-by":"publisher","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\u00a0238, 345\u2013371 (2001)","journal-title":"J. Algebra"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1090\/S0002-9947-05-03816-X","volume":"358","author":"M. Gehrke","year":"2005","unstructured":"Gehrke, M., Harding, J., Venema, Y.: MacNeille completions and canonical extensions. Trans. Amer. Math. Soc.\u00a0358, 573\u2013590 (2005)","journal-title":"Trans. Amer. Math. Soc."},{"key":"6_CR6","first-page":"207","volume":"40","author":"M. Gehrke","year":"1994","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattices with operators. Math. Japonica\u00a040, 207\u2013215 (1994)","journal-title":"Math. Japonica"},{"key":"6_CR7","first-page":"197","volume":"52","author":"M. Gehrke","year":"2000","unstructured":"Gehrke, M., J\u00f3nsson, B.: Monotone bounded distributive lattice expansions. Math. Japonica\u00a052, 197\u2013213 (2000)","journal-title":"Math. Japonica"},{"key":"6_CR8","doi-asserted-by":"publisher","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.\u00a094, 13\u201345 (2004)","journal-title":"Math. Scand."},{"key":"6_CR9","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":"6_CR10","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s00012-006-1969-x","volume":"55","author":"J. Harding","year":"2006","unstructured":"Harding, J.: On profinite completions and canonical extensions. Alg. Universalis\u00a055, 293\u2013296 (2006)","journal-title":"Alg. Universalis"},{"key":"6_CR11","doi-asserted-by":"publisher","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.\u00a073, 891\u2013939 (1951)","journal-title":"Amer. J. Math."},{"key":"6_CR12","unstructured":"Vosmaer, J.: Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology, Ph.D Dissertation, University of Amsterdam (2010)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22303-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T23:02:34Z","timestamp":1553900554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22303-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223020","9783642223037"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22303-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}