{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T02:45:43Z","timestamp":1763433943721,"version":"3.45.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006565","name":"University of Johannesburg","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006565","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We investigate posets that have an atomic Boolean lattice completion such that finite meets and joins are preserved by the embedding and the image of the poset under the embedding generates the Boolean lattice using complete lattice operations. It is shown that for a poset to have the above property it is necessary and sufficient for it to have a set of prime filters that separate points and such that the prime filters are pairwise incomparable. A description is given of the sets of ideals and filters used in the construction of a canonical extension of a poset for it to be an atomic Boolean lattice. Posets for which the MacNeille completion is an atomic Boolean lattice are also described. It is shown that the problem of determining if a finite poset is embeddable into a Boolean lattice such that the image of the poset generates the Boolean lattice is -complete, whereas, determining if the MacNeille completion of a finite poset is a Boolean lattice can be done in polynomial time.<\/jats:p>","DOI":"10.1007\/s11083-025-09704-1","type":"journal-article","created":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T13:33:34Z","timestamp":1754055214000},"page":"699-713","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Atomic Boolean Lattice Completions of Ordered Sets"],"prefix":"10.1007","volume":"42","author":[{"given":"Wilmari","family":"Morton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clint J.","family":"van Alten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,1]]},"reference":[{"key":"9704_CR1","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)"},{"issue":"4","key":"9704_CR2","first-page":"937","volume":"30","author":"G Bezhanishvili","year":"2004","unstructured":"Bezhanishvili, G., Harding, J.: MacNeille completions of Heyting algebras. Houston J. Math. 30(4), 937\u2013952 (2004)","journal-title":"Houston J. Math."},{"issue":"4","key":"9704_CR3","first-page":"355","volume":"33","author":"G Bezhanishvili","year":"2007","unstructured":"Bezhanishvili, G., Harding, J.: MacNeille completions of modal algebras. Houston J. Math. 33(4), 355\u2013384 (2007)","journal-title":"Houston J. Math."},{"key":"9704_CR4","unstructured":"Birkhoff, G.: Lattice Theory. Providence: American Mathematical Society, Col Pub., USA, 3rd edition (1967)"},{"key":"9704_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to lattices and order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestly, H.A.: Introduction to lattices and order, 2nd edn. Cambridge University Press, Cambridge, UK (2002)","edition":"2"},{"issue":"3","key":"9704_CR6","doi-asserted-by":"publisher","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 and relational completeness of some substructural logics. J. Symbolic Logic. 70(3), 713\u2013740 (2005)","journal-title":"J. Symbolic Logic."},{"issue":"1","key":"9704_CR7","first-page":"1","volume":"20","author":"N Funayama","year":"1944","unstructured":"Funayama, N.: On the completion by cuts of distributive lattices. Proc. Imp. Acad. 20(1), 1\u20132 (1944)","journal-title":"Proc. Imp. Acad."},{"issue":"1","key":"9704_CR8","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. 238(1), 345\u2013371 (2001)","journal-title":"J. Algebra."},{"issue":"2","key":"9704_CR9","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."},{"issue":"2","key":"9704_CR10","first-page":"197","volume":"52","author":"M Gehrke","year":"2000","unstructured":"Gehrke, M., J\u00f3nsson, B.: Monotone bouded distributive lattice expansions. Math. Japon. 52(2), 197\u2013213 (2000)","journal-title":"Math. Japon."},{"key":"9704_CR11","first-page":"183","volume":"15","author":"V Glivenko","year":"1929","unstructured":"Glivenko, V.: Sur quelques points de la logique de M. Brouwer. Bull. Acad. Sci. Belgique. 15, 183\u2013188 (1929)","journal-title":"Brouwer. Bull. Acad. Sci. Belgique."},{"key":"9704_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0018-1","volume-title":"Lattice Theory: Foundation","author":"G Gr\u00e4tzer","year":"2011","unstructured":"Gr\u00e4tzer, G.: Lattice Theory: Foundation. Birkh\u00e4user, Basel (2011)"},{"key":"9704_CR13","volume-title":"Introduction to Boolean Algebras","author":"S Givant","year":"2009","unstructured":"Givant, S., Halmos, P.: Introduction to Boolean Algebras. Springer, New York (2009)"},{"key":"9704_CR14","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. 73, 891\u2013993 (1951)","journal-title":"I Amer. J. Math."},{"key":"9704_CR15","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. II Amer. J. Math. 74, 127\u2013162 (1952)","journal-title":"II Amer. J. Math."},{"issue":"3","key":"9704_CR16","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1090\/S0002-9947-1937-1501929-X","volume":"42","author":"HM MacNeille","year":"1937","unstructured":"MacNeille, H.M.: Partially ordered sets. Trans. Amer. Math. Soc. 42(3), 416\u2013460 (1937)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"9704_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s00012-014-0292-1","volume":"72","author":"W Morton","year":"2014","unstructured":"Morton, W.: Canonical extensions of posets. Algebra Univers. 72(2), 167\u2013200 (2014)","journal-title":"Algebra Univers."},{"issue":"3","key":"9704_CR18","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1142\/S0218196718500248","volume":"28","author":"W Morton","year":"2018","unstructured":"Morton, W., Van Alten, C.J.: Distributive and completely distributive lattice extensions of ordered sets. Int. J. Algebra Comput. 28(3), 521\u2013541 (2018)","journal-title":"Int. J. Algebra Comput."},{"issue":"1","key":"9704_CR19","first-page":"37","volume":"40","author":"MH Stone","year":"1936","unstructured":"Stone, M.H.: The Theory of Representations of Boolean Algebras. Trans. Amer. Math. Soc. 40(1), 37\u2013111 (1936)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"9704_CR20","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00012-007-2033-1","volume":"57","author":"M Theunissen","year":"2007","unstructured":"Theunissen, M., Venema, Y.: MacNeille completions of lattice expansions. Algebra Univers. 57(2), 143\u2013193 (2007)","journal-title":"Algebra Univers."},{"issue":"3","key":"9704_CR21","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1112\/plms\/s3-28.1.13","volume":"28","author":"WR Tunnicliffe","year":"1974","unstructured":"Tunnicliffe, W.R.: The completion of a partially ordered set with respect to a polarization. Proc. London Math. Soc. 28(3), 13\u201327 (1974)","journal-title":"Proc. London Math. Soc."},{"issue":"3","key":"9704_CR22","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/s11083-015-9376-6","volume":"33","author":"CJ Van Alten","year":"2016","unstructured":"Van Alten, C.J.: Embedding Ordered Sets into Distributive Lattices. Order 33(3), 419\u2013427 (2016)","journal-title":"Order"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-025-09704-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11083-025-09704-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-025-09704-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T02:41:27Z","timestamp":1763433687000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11083-025-09704-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,1]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["9704"],"URL":"https:\/\/doi.org\/10.1007\/s11083-025-09704-1","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"type":"print","value":"0167-8094"},{"type":"electronic","value":"1572-9273"}],"subject":[],"published":{"date-parts":[[2025,8,1]]},"assertion":[{"value":"11 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 August 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval and Consent to Participate"}},{"value":"Both authors agreed to the submission of the manuscript to the journal\n                      Order\n                      . If accepted for publication, we agree to publish the paper via the subscription publishing route and will therefore agree to the journal\u2019s licensing terms and Springer Nature\u2019s self-archiving policies.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}}]}}