{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T01:54:37Z","timestamp":1648864477961},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s11083-008-9095-3","type":"journal-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T10:09:41Z","timestamp":1222769381000},"page":"299-320","source":"Crossref","is-referenced-by-count":3,"title":["Comparison of MacNeille, Canonical, and Profinite Completions"],"prefix":"10.1007","volume":"25","author":[{"given":"Guram","family":"Bezhanishvili","sequence":"first","affiliation":[]},{"given":"Jacob","family":"Vosmaer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,10,1]]},"reference":[{"key":"9095_CR1","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01898828","volume":"18","author":"B. Banaschewski","year":"1967","unstructured":"Banaschewski, B., Bruns, G.: Categorical characterization of the MacNeille completion. Arch. Math. 18, 369\u2013377 (1967)","journal-title":"Arch. Math."},{"key":"9095_CR2","doi-asserted-by":"crossref","unstructured":"Bezhanishvili, G., Bezhanishvili, N.: Profinite Heyting algebras. Order 25, 211\u2013227 (2008). http:\/\/www.cs.le.ac.uk\/people\/nb118\/Publications\/Bezh-Bezh-final.pdf","DOI":"10.1007\/s11083-008-9089-1"},{"key":"9095_CR3","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, 143\u2013161 (2006)","journal-title":"Order"},{"key":"9095_CR4","unstructured":"Bezhanishvili, N.: Lattices of intermediate and cylindric modal logics. PhD thesis, University of Amsterdam (2006)"},{"issue":"2","key":"9095_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF00383404","volume":"8","author":"M.. Ern\u00e9","year":"1991","unstructured":"Ern\u00e9, M.: Bigeneration in complete lattices and principal separation in ordered sets. Order 8(2), 197\u2013221 (1991)","journal-title":"Order"},{"issue":"2","key":"9095_CR6","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00383401","volume":"8","author":"M. Ern\u00e9","year":"1991","unstructured":"Ern\u00e9, M.: The Dedekind-MacNeille completion as a reflector. Order 8(2), 159\u2013173 (1991)","journal-title":"Order"},{"key":"9095_CR7","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":"9095_CR8","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"239","author":"M. Gehrke","year":"2001","unstructured":"Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 239, 345\u2013371 (2001)","journal-title":"J. Algebra"},{"key":"9095_CR9","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1090\/S0002-9947-05-03816-X","volume":"358","author":"M. Gehrke","year":"2006","unstructured":"Gehrke, M., Harding, J., Venema, Y.: MacNeille completions and canonical extensions. Trans. Am. Math. Soc. 358, 573\u2013590 (2006)","journal-title":"Trans. Am. Math. Soc."},{"key":"9095_CR10","first-page":"207","volume":"2","author":"M. Gehrke","year":"1994","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattices with operators. Math. Jpn. 2, 207\u2013215 (1994)","journal-title":"Math. Jpn."},{"key":"9095_CR11","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, 173\u2013242 (1989)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9095_CR12","doi-asserted-by":"crossref","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. Algebra Univers. 55, 293\u2013296 (2006)","journal-title":"Algebra Univers."},{"key":"9095_CR13","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":"9095_CR14","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. Part I. Am. J. Math. 73, 891\u2013939 (1951)","journal-title":"Am. J. Math."},{"key":"9095_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1972-0313141-1","volume":"174","author":"R. McKenzie","year":"1972","unstructured":"McKenzie, R.: Equational bases and nonmodular lattice varieties. Trans. Am. Math. Soc. 174, 1\u201343 (1972)","journal-title":"Trans. Am. Math. Soc."},{"key":"9095_CR16","series-title":"Stud. Fuzziness Soft Comput.","first-page":"637","volume-title":"Logic at work","author":"H. Ono","year":"1999","unstructured":"Ono, H.: Algebraic semantics for predicate logics and their completeness. In: Logic at work. Stud. Fuzziness Soft Comput., vol. 24, pp. 637\u2013650. Physica, Heidelberg (1999)"},{"key":"9095_CR17","first-page":"335","volume-title":"Advances in modal logic, vol. 4","author":"H. Ono","year":"2003","unstructured":"Ono, H.: Completions of algebras and completeness of modal and substructural logics. In: Advances in modal logic, vol. 4, pp. 335\u2013353. King\u2019s Coll. Publ., London (2003)"},{"key":"9095_CR18","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."},{"key":"9095_CR19","unstructured":"Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Monografie Matematyczne, Tom 41. Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw (1963)"},{"key":"9095_CR20","doi-asserted-by":"crossref","unstructured":"Vosmaer, J.: MacNeille completion and profinite completion can coincide on finitely generated modal algebras. Algebra Univers. (2008, in press)","DOI":"10.1007\/s00012-009-0028-9"},{"key":"9095_CR21","doi-asserted-by":"crossref","first-page":"179","DOI":"10.2307\/2371781","volume":"65","author":"P.M. Whitman","year":"1943","unstructured":"Whitman, P.M.: Splittings of a lattice. Am. J. Math. 65, 179\u2013196 (1943)","journal-title":"Am. J. Math."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-008-9095-3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T09:37:00Z","timestamp":1557826620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-008-9095-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,1]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["9095"],"URL":"https:\/\/doi.org\/10.1007\/s11083-008-9095-3","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,1]]}}}